Explore >> Select a destination
|
You are here 
|
consequently.org | ||
| | | | |
fabricebaudoin.blog
|
|
| | | | | During the Fall 2017, I will be teaching rough paths theory at the University of Connecticut. The course will be mainly based on those notesand the lectures already posted on this blog in 2013 (when I first taught the class at Purdue University). Since I first taught the class, the theory of rough paths has... | |
| | | | |
dvt.name
|
|
| | | | | Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ... | |
| | | | |
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... | |
| | | | |
travelbetweenthepages.com
|
|
| | | [AI summary] The post discusses the connection between traveling, reading books, and appreciating art. | ||
