Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
cromwell-intl.com
|
|
| | | | | Hypercomputation is a wished-for magic that simply can't exist given the way that logic and mathematics work. Its purported imminence serves as an excuse for AI promoters. | |
| | | | |
billwadge.com
|
|
| | | | | The famous mathematician Kurt Gödel proved two "incompleteness" theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an 'interpretation' and what it meant for a formula to be true in an interpretation. Briefly, an interpretation is a nonempty set (the... | |
| | | | |
www.logicmatters.net
|
|
| | | | | Yuri Manin who died last year was a seriously distinguished mathematician, being - for instance - one of the first recipients of the Schock Prize for mathematics. His interests ranged very widely, from algebra and topology to quantum field theory. So A Course in Mathematical Logic for Mathematicians (1977 translation, Springer) is written by an [...] | |
| | | | |
diogocastro.com
|
|
| | | |||
