Questions tagged [logic]
The logic tag has no summary.
44 questions
1 vote
1 answer
87 views
Did Shoenfield obtain corner quotes from Kreisel?
Compare the question https://hsm.stackexchange.com/questions/14817/first-use-of-corner-quotes-for-gödel-numbers. Although corner quotes were first used by by (Quine 1940), the prima facie first use ...
5 votes
1 answer
403 views
What did Tait mean by saying Hilbert “was not in a position to appreciate Kant's antinomies of pure reason”?
Tait’s influential paper Finitism, 1981, writes (emphasis mine): For Hilbert the virtue of finitism lay in its security (Sicherheit). And for this reason he wished to found all of mathematics on it ...
3 votes
1 answer
172 views
Where does "Gödel numbers" come from?
Confer my question "First use of corner quotes for Gödel numbers" crossposted to History of Science and Mathematics, https://hsm.stackexchange.com/questions/14817/first-use-of-corner-quotes-...
2 votes
1 answer
120 views
What are the origins of the symbols used to denote levels of the arithmetic hierarchy?
The arithmetic hierarchy is a method of classifying the complexity of problems by treating such problems as logical formulas and organizing them according to the quantifiers they contain. There are ...
- 75
4 votes
1 answer
322 views
Frege on truth?
According to my memory, Frege wrote an article or a book where he in the beginning states something to the effect that truth is the subject matter of logic. What is the name of the text, if any?
7 votes
1 answer
2k views
How much was Boole influenced by Indian logic?
In some of her writings Mary Everest Boole (in particular "Indian Thought and Western Science in the 19 Century") makes references to how ideas brought back by George Everest from India ...
- 183
4 votes
2 answers
188 views
Origins of the use of matrices for the calculus of binary relations
Nowadays it's common to represent a binary relation $r$ (a subset of the Cartesian product of two sets $A$ and $B$) as a 0,1-matrix whose rows correspond to elements of $A$, whose columns correspond ...
- 799
0 votes
1 answer
151 views
Universal logicians
Henri Poincaré is often considered to be the last universal mathematician, meaning the last individual who made contributions across all areas of mathematics of his time. Today, even a prodigious ...
user21424