Questions tagged [proof]
For questions about the correctness of a proof or the nature of proofs in general.
357 questions
2
votes
5
answers
847
views
What is the scope of the appended question 'Generalise your result' in many mathematics questions? [closed]
This post was closed in MSE and MESE for not meeting guidelines. So I conclude this the right site. To easily view the formatted latex please go the MSE query here.
This is not a mathematics question ...
- 23
0
votes
1
answer
138
views
Do pluralists about math who do vs. don't hold arithmetic as special have differing views on proofs?
I don't just mean a sociological question.
There are pluralists like Justin-Clarke Doane who think all of math is pluralistic except arithmetic. I imagine there are other pluralists who think even ...
- 4,454
3
votes
8
answers
736
views
In what sense are "proofs" of the existence of God really proofs?
I'm pretty sure I know what "proof" means in math and physics, i.e. the conventional notion of rigorous logical implication by which I can, say, prove that the postulates of special ...
- 1,179
0
votes
10
answers
2k
views
What is a proof and what does it mean to prove something?
Many people, when faced with a statement, exclaim: “PROVE IT!” But are they truly aware of what they’re saying? What is a proof? What does it mean?
For example: is a proof an observation, a perceptual ...
- 1,604
0
votes
1
answer
74
views
Proof of (Lp & Mq) -> M(p & q) within system K [closed]
I need a modal logic proof of (Lp & Mq) -> M(p & q) valid for system K. L is the necessity operator, M is the possibility operator, & is the conjunction operator, and -> is if/then.
- 25
1
vote
0
answers
98
views
Is there such a thing as "multi-intuitionism"?
Is there such a thing as "multi-intuitionism" where there is not one/generalized concept/process of intuition in play, but at least two? I am reminded of the comparisons and contrasts of ...
- 6,595
0
votes
0
answers
105
views
How to prove ¬(A ∧ B) → (¬(C → D) ∧ ¬C) ⊢ A? Fitch-style for TFL proof
I'm really confused how to solve this and how to correct it? If anyone could help I would greatly appreciate it!
1
vote
2
answers
679
views
chain of proofs and whether a statement can be proven [duplicate]
I am trying to make sense of Quora post One can prove a statement. One can also prove whether a statement can be proven. Can one prove whether a statement can be proven whether it can be proven? When ...
- 894
3
votes
0
answers
78
views
Would a Form of Destruction be more stable, conceptually, than a Form of Nothingness?
Apparently, on one of Plato's pictures of how the Forms stand over the empirical world, there are Forms especially of Life and of Death (see here, e.g. pg. 31). Now suppose that the Forms self-...
- 6,595
-2
votes
5
answers
317
views
Is there an objective answer to the question, "Does God exist"? [closed]
In this context, “God" is intended to mean a divine reality, regardless of any description thereof.
At first glance, this question may seem overly familiar or sufficiently exhausted. But wait—I ...
- 545
2
votes
2
answers
122
views
How to prove N, L → (N → M) , M → (¬O ∧ L) ⊢ L ↔ M?
Can someone help with this? I don't really understand my error in line 13.
-4
votes
5
answers
291
views
Is there a way to prove there are only two truth values? [closed]
My mind doesn't assume things, and leave the assumptions just floating around my brain as beliefs. Instead, I either remain in an assumptionless state, or reason from the assumption to some solid ...
- 2,280
-5
votes
4
answers
159
views
What do we mean when we assert a line in a natural deduction proof? [closed]
In order to understand this question, it's important to note that the lines in proofs using using natural deduction aren't necessarily tautologies. Thus natural deduction is very different from ...
- 2,280
0
votes
2
answers
223
views
What's the simplest way to prove if P is a theorem then P is a tautology?
An analytic deductive system is one such that
if ⊢ P then P is a tautology.
⊢ P if and only if P is a theorem.
Now ⊢ P if and only if there is a demonstration of P.
Now in a system of natural ...
- 2,280
4
votes
7
answers
1k
views
Can one justifiably believe in the correctness of a mathematical theorem without relying on empirical evidence? [closed]
How can I justifiably believe that a theorem is correct?
Option 1: By trusting the testimony of one or more reliable mathematicians who claim to have peer-reviewed and verified the theorem's ...
user80226