September 11: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
{{Daily Image/September 11}}
{{Daily Image/September 11}}{{Preface/September 11}}


== Better Than News ==
== Better Than News ==


{{Better Than News/September 11}}
{{Better Than News/September 11}}
== Beyond Plausible ==
{{Beyond Plausible/September 11}}
== In Other Words ==
{{In Other Words/September 11}}


== Are You Sure ==
== Are You Sure ==
Line 9: Line 17:
{{Are You Sure/September 11}}
{{Are You Sure/September 11}}


== On This Day in Fiction and Nonfiction ==
== Selected Anniversaries ==


{{Selected anniversaries/September 11}}
{{Template:Selected anniversaries/September 11}}


== Topic of the Day ==
== Topic of the Day ==


{{Daily Favorites/September 11}}
{{Daily Favorites/September 11}}
{{Template:Categories: September 11}}

Latest revision as of 09:00, 12 September 2024


Better Than News

Beyond Plausible

In Other Words

Are You Sure

... that athematician and computer scientist Andrzej Trybulec developed the Mizar system, comprising: a formal language for writing mathematical definitions and proofs; a proof assistant which is able to mechanically check proofs written in this language; and a library of formalized mathematics which can be used in the proof of new theorems?

Selected Anniversaries

Topic of the Day

9/11