All Questions
Tagged with philosophy-of-science mathematical-logic
10 questions
7
votes
3
answers
406
views
Claims that fully formal proofs are impossible to write down
It is sometimes asserted that human-readable mathematical proofs that we construct and publish are just informal approximations to the gold standard, which is a completely formal proof in a formal ...
- 1,546
7
votes
2
answers
379
views
Relation between Bourbaki group and Vienna Circle
Background:
I'm an undergraduate student in Mathematics and I study Mathematical Logic and Philosophy of Science in an undergraduate research project (here in Brazil, where I'm from, we call this kind ...
- 81
1
vote
1
answer
322
views
The status of Tarski's theory of truth
Tarski's truth theorem asserts that a truth definition for a (reasonably strong) theory cannot be formalized within that theory.
I have seen that Tarski's theory of truth has received a lot of ...
- 813
0
votes
0
answers
41
views
What were C.S Peirce's contributions to theory of relations?
In my study of Peirce I came across a number statements that he extended De Morgan's relation algebra.
What exactly are his contributions to relation algebra?
- 1,527
3
votes
1
answer
313
views
After the invention of Boolean algebra, why did it take so long for the existential and universal quantifiers to become formalized into symbols?
Was there a specific reason that prevented researchers in Boolean algebra to invent such quantifiers in the flexible format that are known today earlier?
Since the compact symbols for multiplication ...
- 1,527
2
votes
1
answer
125
views
Was C.S Peirce in his abductive reasoning influenced by the generalization from special cases that is used by mathematicians?
I am reading some random bits from Peirce's collected works and they give me the impression that Peirce tried to integrate every(or nearly every) major scientific and mathematical concept which he was ...
- 1,527
0
votes
0
answers
332
views
What did Hans Bethe think of von Neumann's quantum logic?
Nobel laureate Hans Bethe was a friend of mathematician-physicist John von Neumann, and he once said:
"I have sometimes wondered whether a brain like von Neumann's does not indicate a species ...
1
vote
0
answers
70
views
Gentzen and computer science
This is a cross-post from mathstack:
https://math.stackexchange.com/questions/2584003/gentzen-and-computer-science?noredirect=1#comment5333947_2584003
I would like to learn a bit about the ...
- 111
1
vote
0
answers
67
views
Carnap's last theory Of probability
According to Bar-Hillel, Carnap's coauthor in a 1952 report on probability, Carnap had, as of 1956 an unpublished but circulated theory distinguishing "random" refers to methods of production of ...
- 1,252
-5
votes
2
answers
602
views
When or why & who originated this puzzle, $0.999... = 1$ [duplicate]
The problem is the infinite or endless repeated digits of $9's$ after zero digit and the decimal notation,
Despite its apparent simplicity & the huge talk about it every where in mathematics or ...
- 177