Template:Are You Sure/January 11

From Gnomon Chronicles
Jump to navigation Jump to search

• ... that scientist and bishop Niels Steensen (1 January 1638 – 25 November 1686) questioned explanations for the idea that fossils grow in the ground?

• ... that mathematician, cosmographer, and academic Pedro Nunes (11 January 1502 – 11 August 1578) pioneered the application of mathematics to navigation and cartography?

• ... that computer scientist Tony Hoare (born 11 January 1934) developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem)?