|
You are here |
www.logicmatters.net | ||
| | | | |
xahlee.info
|
|
| | | | | [AI summary] The post curates a collection of free verified math textbooks ranging from high school number theory to graduate-level topics like category theory and differential geometry. | |
| | | | |
jdh.hamkins.org
|
|
| | | | | I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative... | |
| | | | |
richardzach.org
|
|
| | | | | The Zeitschrift für mathematische Logik und Grundlagen der Mathematik was one of the few logic journals around in the mid 20th century. It started publishing in 1955, I think the only logic journal... | |
| | | | |
www.retroprogramming.com
|
|
| | | The Manchester Small-Scale Experimental Machine was the first computer to store programs in memory and was built at the University of Manche... | ||