questfortruth
Well-Known Member
cannot ever or cannot yet, here is the difference!If someone says that they cannot prove or disprove something, they are saying that they have no evidence for it either way.
Welcome to Religious Forums, a friendly forum to discuss all religions in a friendly surrounding.
Your voice is missing! You will need to register to get access to the following site features:We hope to see you as a part of our community soon!
cannot ever or cannot yet, here is the difference!If someone says that they cannot prove or disprove something, they are saying that they have no evidence for it either way.
aliens mean that they live far far away, in the other galaxies.You don't seem to understand what "proof" means. If anybody can show that UFOs are real in the sense that people are really getting abducted or whatever, rather than just the literal sense of unidentified flying objects, then somebody positing aliens is actually saying that there are signs of life in the cosmos, so Fermi doesn't apply.
aliens mean that they live far far away, in the other galaxies
No, it is proof of devils, not aliens. The aliens must be detected in other solar system.In the Fermi sense, it just means from another planet. I guess in another solar system would be a reasonable generalisation but not necessarily in another galaxy.
Anyway, that's irrelevant, Fermi is about lack of evidence for aliens, so if we actually had evidence that they're here abducting people to give them anal probes, interfering with cattle, and drawing pretty shapes in corn fields, that would be evidence.
Demonstrated in an alternative way, that the Theorems of Gödel are true, and hold not only for some special mathematical problems but in general (for any kind of statement in any kind of system/situation). As applications: Hilbert’s Second Problem Solved. Agnosticism is solved. The burden of Disproof is given to atheists. Andrew Wiles’s proof of Fermat’s Last Theorem (which is a hypothesis) uses unproven hypothesis-es of set theory (not the axioms of set theory), thus, the proof is debunked.
Proof of the Second Incompleteness Theorem
The set of axioms produces statements. Some are decidable, some are undecidable. To prove in full range the consistency of mathematics is to prove the validity of all statements, including undecidable ones. Latter to do is impossible by definition. Thus, it is not possible to prove, that mathematics is consistent.
Another way to prove the Gödel’s Second Theorem:
Thus, a consistent set of axioms can not be proven.
- Axioms are defined as undecidable things.
- Such things are true.
- Thus, axioms are true, and, thus, the set of axioms are without self-contradiction, i.e. consistent.
The axioms are defined not as assumptions, but as undecidable but obvious things. Indeed, some axioms can be logically demonstrated [thus, gaining the status of theorems or facts].
Application to Fermat’s Last Theorem
Colin McLarty: „This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.“ What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory | Bulletin of Symbolic Logic | Cambridge Core
Such assumptions are not axioms, because they are not obvious things. Secondly, the Proof of Fermat’s Theorem is outside the axioms of algebra, because it supposed to use axioms of the set theory. Therefore, within the algebra the Fermat’s theorem is still neither proven, nor disproven. It is a strong candidate then for an undecidable statement of algebra [therefore the Hilbert’s Second Problem, which is talking about algebra axioms, is becoming solved through my arguments above]. Conclusion: Fermat’s Hypothesis was proven by another hypothesis-es („assumptions“), thus there is no proof of Fermat’s statement even in the set theory.
Application to Agnosticism
Agnostics are making one claim: God is not decidable. But if one can neither prove nor disprove God, then God exists.
Application to Gnostic Atheism
The fact to accept: if one can neither prove nor disprove God, then God exists. Hereby because Gnostic Atheists hope for absence God, then God could be disproven. Because God could be disproven, then it is wrong to assign Burden of Disproof exclusively to theists. In such a case the atheists must accept, that God satisfies Popper’s Falsifiability criterion, thus the God is scientific.
More in the viXra:
Wiles Has not Proven the Fermat’s Last Theorem, viXra.org e-Print archive, viXra:2005.0209
If God does not exist, this could be proven. By constructing God-free model of reality.But if one can neither prove nor disprove God, then God exists.
Based on the above logic then the fact that you can't prove or disprove that god is nothing more than a figment of your imagination means that god MUST be nothing more than a figment of your imagination.
If God does not exist, this could be proven. By constructing God-free model of reality.
If God does not exist, this could be proven.
No, it is proof of devils, not aliens.
The aliens must be detected in other solar system.
The statement "God does not exist" is not complete. The full meaning of the statement is:
Lie. Google: "missing antimatter paradox".Good... since that's been done we can conclude that god doesn't exists.
It doesn't really work that way.In case of such doubt please use the Occam' razor: no evidence for aliens -- no aliens.
I say again:The fact to accept: if one can neither prove nor disprove God, then God exists.
Demonstrated in an alternative way, that the Theorems of Gödel are true, and hold not only for some special mathematical problems but in general (for any kind of statement in any kind of system/situation). As applications: Hilbert’s Second Problem Solved. Agnosticism is solved. The burden of Disproof is given to atheists. Andrew Wiles’s proof of Fermat’s Last Theorem (which is a hypothesis) uses unproven hypothesis-es of set theory (not the axioms of set theory), thus, the proof is debunked.
Proof of the Second Incompleteness Theorem
The set of axioms produces statements. Some are decidable, some are undecidable. To prove in full range the consistency of mathematics is to prove the validity of all statements, including undecidable ones. Latter to do is impossible by definition. Thus, it is not possible to prove, that mathematics is consistent.
Another way to prove the Gödel’s Second Theorem:
Thus, a consistent set of axioms can not be proven.
- Axioms are defined as undecidable things.
- Such things are true.
- Thus, axioms are true, and, thus, the set of axioms are without self-contradiction, i.e. consistent.
The axioms are defined not as assumptions, but as undecidable but obvious things. Indeed, some axioms can be logically demonstrated [thus, gaining the status of theorems or facts].
Application to Fermat’s Last Theorem
Colin McLarty: „This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.“ What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory | Bulletin of Symbolic Logic | Cambridge Core
Such assumptions are not axioms, because they are not obvious things. Secondly, the Proof of Fermat’s Theorem is outside the axioms of algebra, because it supposed to use axioms of the set theory. Therefore, within the algebra the Fermat’s theorem is still neither proven, nor disproven. It is a strong candidate then for an undecidable statement of algebra [therefore the Hilbert’s Second Problem, which is talking about algebra axioms, is becoming solved through my arguments above]. Conclusion: Fermat’s Hypothesis was proven by another hypothesis-es („assumptions“), thus there is no proof of Fermat’s statement even in the set theory.
Application to Agnosticism
Agnostics are making one claim: God is not decidable. But if one can neither prove nor disprove God, then God exists.
Application to Gnostic Atheism
The fact to accept: if one can neither prove nor disprove God, then God exists. Hereby because Gnostic Atheists hope for absence God, then God could be disproven. Because God could be disproven, then it is wrong to assign Burden of Disproof exclusively to theists. In such a case the atheists must accept, that God satisfies Popper’s Falsifiability criterion, thus the God is scientific.
More in the viXra:
Wiles Has not Proven the Fermat’s Last Theorem, viXra.org e-Print archive, viXra:2005.0209
You have not read my viXra paper.
Demonstrated in an alternative way, that the Theorems of Gödel are true, and hold not only for some special mathematical problems but in general (for any kind of statement in any kind of system/situation). As applications: Hilbert’s Second Problem Solved. Agnosticism is solved. The burden of Disproof is given to atheists. Andrew Wiles’s proof of Fermat’s Last Theorem (which is a hypothesis) uses unproven hypothesis-es of set theory (not the axioms of set theory), thus, the proof is debunked.
Proof of the Second Incompleteness Theorem
The set of axioms produces statements. Some are decidable, some are undecidable. To prove in full range the consistency of mathematics is to prove the validity of all statements, including undecidable ones. Latter to do is impossible by definition. Thus, it is not possible to prove, that mathematics is consistent.
Another way to prove the Gödel’s Second Theorem:
Thus, a consistent set of axioms can not be proven.
- Axioms are defined as undecidable things.
- Such things are true.
- Thus, axioms are true, and, thus, the set of axioms are without self-contradiction, i.e. consistent.
The axioms are defined not as assumptions, but as undecidable but obvious things. Indeed, some axioms can be logically demonstrated [thus, gaining the status of theorems or facts].
Application to Fermat’s Last Theorem
Colin McLarty: „This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.“ What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory | Bulletin of Symbolic Logic | Cambridge Core
Such assumptions are not axioms, because they are not obvious things. Secondly, the Proof of Fermat’s Theorem is outside the axioms of algebra, because it supposed to use axioms of the set theory. Therefore, within the algebra the Fermat’s theorem is still neither proven, nor disproven. It is a strong candidate then for an undecidable statement of algebra [therefore the Hilbert’s Second Problem, which is talking about algebra axioms, is becoming solved through my arguments above]. Conclusion: Fermat’s Hypothesis was proven by another hypothesis-es („assumptions“), thus there is no proof of Fermat’s statement even in the set theory.
Application to Agnosticism
Agnostics are making one claim: God is not decidable. But if one can neither prove nor disprove God, then God exists.
Application to Gnostic Atheism
The fact to accept: if one can neither prove nor disprove God, then God exists. Hereby because Gnostic Atheists hope for absence God, then God could be disproven. Because God could be disproven, then it is wrong to assign Burden of Disproof exclusively to theists. In such a case the atheists must accept, that God satisfies Popper’s Falsifiability criterion, thus the God is scientific.
More in the viXra:
Wiles Has not Proven the Fermat’s Last Theorem, viXra.org e-Print archive, viXra:2005.0209
They are demons and evil spirits.
LOLThe ViXra article is so circular it bites'em in the butt.
By that reasoning....
If one can neither prove nor disprove reptilian aliens taking over
government, then reptilian aliens taking over government exist.
Yes, you got it. But such aliens are devil and his angels: proven in Theology.
They are making one claim: God is not decidable. Here comes the Gödel's result, due which the God exists.