Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
richardzach.org
|
|
| | | | | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and... | |
| | | | |
consequently.org
|
|
| | | | | ||
| | | | |
professorhewitt.blogspot.com
|
|
| | | | | Alonzo Church made major contributions to foundations by creating the lambda calculus and proving the computational undecidability of whethe... | |
| | | | |
schlinkshots.photo.blog
|
|
| | | David did not do this to the poor tree. | ||
