Quine - Two dogmas of empiricism - status of mathematics
65791
Does Quine's dissolution of the Analytic/Synthetic distinction challenge mathematical realism?
118617
Completeness and Incompleteness
107287
Shoenfield introductory mathematical logic book alternatives
92010
A mathematically illogical argument in the derivation of Hamilton's equation in Goldstein
2786
The staircase paradox, or why $\pi\ne4$
47544
A mathematically mature introduction to Turing Machines and Computability [reference-request]
64563
What is the difference between Gödel's completeness and incompleteness theorems?
112813
Do Category Theory and/or Quantum Logic add value in physics?
150451
Logic soundness and completeness
109685
An invalid argument, the conclusion of which is a tautology
97187
In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?
106211
Is the universe isomorphic to a universal turing machine?
147375
Prove :(P → Q) ∨ (Q → P) using natural deduction
73589
Probability: A flaw in logic? The emperor's proposition with marbles and two urns
154177
Quintology or Pentalogy?
20252
The Axiom of Choice and the Cartesian Product.
139574
What is mathematical existence?