Infinitely More
Subscribe
Sign in
Home
The Book of Infinity
A Panorama of Logic
Infinite Games
Proof and the Art
Philosophy of Mathematics
My books
Music videos
About
Latest
Top
Discussions
Infinite Liars (from the archives)
Regrettably, this essay consists entirely of lies—every sentence in it, including this one, is false.
Apr 15
•
Joel David Hamkins
3
Share this post
Infinite Liars (from the archives)
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Famous quotations in first-order predicate logic
Can you translate these famous sayings?
Apr 10
•
Joel David Hamkins
9
Share this post
Famous quotations in first-order predicate logic
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
3
Structuralism
For mathematical insight, according to the structuralist imperative, investigate mathematical structure and consider mathematical concepts only as…
Apr 4
•
Joel David Hamkins
10
Share this post
Structuralism
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
2
March 2024
Isomorphisms and elementary equivalence
Isomorphic structures exhibit identical truths—they have the same theory. But conversely, not all structures with the same theory are isomorphic.
Mar 30
•
Joel David Hamkins
5
Share this post
Isomorphisms and elementary equivalence
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Substructures and chains of models
Truth propogates through an elementary chain of models to the limit.
Mar 25
•
Joel David Hamkins
4
Share this post
Substructures and chains of models
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Theory theory
Let us explore the theory of theories, the theory of models, the theory of models of theories, and the theory of theories of models.
Mar 19
•
Joel David Hamkins
7
Share this post
Theory theory
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
More applications of induction
An excerpt from Proof and the Art of Mathematics
Mar 13
•
Joel David Hamkins
2
Share this post
More applications of induction
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
A compositional theory of truth
Tarski's disquotational theory of truth in a structure is a compositional theory of truth, by which the truth of a complex assertion reduces to the…
Mar 7
•
Joel David Hamkins
3
Share this post
A compositional theory of truth
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
A formal language for first-order predicate logic
The basic syntax of first-order logic—the signature of a language, terms, atomic formulas, well-formed formulas, free and bound variables, interpreting…
Mar 2
•
Joel David Hamkins
6
Share this post
A formal language for first-order predicate logic
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
4
February 2024
Distinguishing mathematical structures by their theories
With first-order logic we can often express very subtle features that distinguish a favored structure from similar alternatives.
Feb 24
•
Joel David Hamkins
6
Share this post
Distinguishing mathematical structures by their theories
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
Chaos train and monkey madness—fun with quantifiers in first-order logic
Learn the language of first-order logic by immersion in some fun logic puzzles
Feb 19
•
Joel David Hamkins
6
Share this post
Chaos train and monkey madness—fun with quantifiers in first-order logic
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
The countable random graph
Flip a coin to determine the edge relations between vertices in a countably infinite set. The result is a random graph, yet almost surely it is exactly…
Feb 10
•
Joel David Hamkins
4
Share this post
The countable random graph
www.infinitelymore.xyz
Copy link
Facebook
Email
Note
Other
4
Share
Copy link
Facebook
Email
Note
Other
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts