Explore >> Select a destination
|
You are here 
|
rjlipton.com | ||
| | | | |
xorshammer.com
|
|
| | | | | Let $latex \mathrm{PA}$ be Peano Arithmetic. Gödel's Second Incompleteness Theorem says that no consistent theory $latex T$ extending $latex \mathrm{PA}$ can prove its own consistency. (I'll write $latex \mathrm{Con}(T)$ for the statement asserting $latex T$'s consistency; more on this later.) In particular, $latex \mathrm{PA} + \mathrm{Con}(\mathrm{PA})$ is stronger than $latex \mathrm{PA}$. But certainly, given that... | |
| | | | |
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 ... | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | | | The Formal Abstracts (FABSTRACTS) project will establish a formal abstract service that will express the results of mathematical publications in a computer-readable form that captures the semantic content of publications. Specifically, the service will give a statement of the main theorem of each published mathematical paper in a language that is both human and machine... | |
| | | | |
jhannes.github.io
|
|
| | | (Technically, this is a blogpost about Oauth2 and not OpenID Connect) Are you using Slack as a central communication tool? Did you know that you can also use it as your identity provider for other apps you make or buy? For informal organizations like user groups and volunteer based conferences, Slack is perhaps already your communication hub. This means that the information you have about your users here is as good as you have anywhere. | ||
