[FOM] Formal Reasoning

[Guillaume FORTAINE]

Hello,

HOL or the new way of thinking.

To reconsider the scientific reasoning under the formal logic's light is for 
me the most important revolution in Sciences' history. The work of Peter 
Sewell on the TCP/IP protocol ( and Networking Hardware design ) and those of 
Michael Norrish about C formalisation in HOL complete the foundations of an 
unified framework with a never seen rigor. ( with demonstration of 
mathematics theorems in HOL too that are available thanks to Freek Wiedijk.).

                                        
---------------------------------------------------------------------------------
|                                               <Mathematics                                |
|                                       <               ^                                              |
|       Fusion=Informatics              |       abstraction                   |
|                                       <                |                                               |
|                                               <Physics                                          |
|                                                                                                          |
---------------------------------------------------------------------------------
                                        ^                       
                                        |       
                         Foundations = Logic


Here are the links:

http://www.cl.cam.ac.uk/~pes20/

http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-453.pdf

http://www.cs.ru.nl/~freek/100/index.html


Merry Christmas and Happy New Year :) ! ,

Best Regards,

                                Guillaume