Template:Selected anniversaries/August 22: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 58: Line 58:


||Timothy "Tim" Poston (d. 22 August 2017, Bangalore, India) was an English mathematician best known for his work on catastrophe theory. Pic.
||Timothy "Tim" Poston (d. 22 August 2017, Bangalore, India) was an English mathematician best known for his work on catastrophe theory. Pic.
||Michael John Caldwell Gordon (d. 22 August 2017) was a leading British computer scientist. He led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic.


</gallery>
</gallery>

Revision as of 05:47, 1 April 2018