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
|
