Template:Selected anniversaries/May 10: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 78: Line 78:
||2017: Gaisi Takeuti dies ... mathematician, known for his work in proof theory. His goal was to prove the consistency of the real numbers. To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination. Pic search: https://www.google.com/search?q=Gaisi+Takeuti
||2017: Gaisi Takeuti dies ... mathematician, known for his work in proof theory. His goal was to prove the consistency of the real numbers. To this end, Takeuti's conjecture speculates that a sequent formalisation of second-order logic has cut-elimination. Pic search: https://www.google.com/search?q=Gaisi+Takeuti


File:Green Tangle 4.jpg|link=Green Tangle 4 (nonfiction)|2018: ''[[Green Tangle 4 (nonfiction)|Green Tangle 4]]'' declared Picture of the Day by the citizens of [[New Minneapolis, Canada]].
File:Green Tangle 4.jpg|link=Green Tangle 4 (nonfiction)|2018: ''[[Green Tangle 4 (nonfiction)|Green Tangle 4]]''voted Picture of the Day by the citizens of [[New Minneapolis, Canada]].


</gallery>
</gallery>

Revision as of 06:07, 10 May 2019