/explore
|
You are here 
|
www.umsu.de | ||
| | | | |
aeon.co
Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task |
|
| | | | | ||
| | | | |
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
Logical notes and papers Some logical blog pieces Philosophy of maths: a reading list Does mathematics need a philosophy? Philosophical logic: five books from the back catalogue On Frege seeing what is in front of his nose. Begriffsschrift and absolutely unrestricted quantification What Frege didnt tell you Tarski on Truth, a thumbnail sketch Partial functions [] |
|
| | | | | ||
| | | | |
dehora.net
Back in 2013, I started a series of posts on programming languages I found interesting. One of the languages I wanted to write about at that time was Rust. As often happens, life got in the way, and it's only now that I'm coming round to a long overdue post. This is one of a series of posts on programming languages and you can read more about thathere. |
|
| | | |||
