/sci/ - Science & Math » Thread #12068192

162KiB, 491x372, D6D3DDF3-C498-4B54-85DB-FD1AB8CBB84C.png

View Same Google iqdb SauceNAO

Anonymous Sun 30 Aug 23:42:00 2020 No.12068192 View Reply Original Report

Quoted By: >>12068199 >>12068220 >>12068534 >>12068541 >>12068586 >>12068632

Why do we need proofs? Why not just take all true statements as axioms?

Anonymous

Anonymous Sun 30 Aug 2020 23:43:09 No.12068199 Report

Quoted By:

>>12068192
I like goats

Anonymous

Anonymous Sun 30 Aug 2020 23:43:58 No.12068201 Report

Quoted By:

Why not take every statement as axiom?

Anonymous

Anonymous Sun 30 Aug 2020 23:47:41 No.12068220 Report

Quoted By: >>12068541 >>12068632

>>12068192
I have actually wondered about making a paper on some natural science wich uses an unproven theorem and assumes it false, then making another paper which assumes it true and release them both at the same time to let all hell break loose

Anonymous

Anonymous Mon 31 Aug 2020 01:38:53 No.12068534 Report

Quoted By:

>>12068192
It might be similar to how abstraction isn't valuable in and of itself, hence why we don't just go:
>Everything is just a thing doing stuff
to understand the universe, despite many people being of the mindset that more abstraction = more understanding.

Anonymous

Anonymous Mon 31 Aug 2020 01:42:20 No.12068541 Report

Quoted By:

>>12068192
You wouldn't have any way of distinguishing true from false statements without proofs.
>>12068220
no one would read your papers it would be almost immediately obvious you were a retard for contradicting yourself.

Anonymous

Anonymous Mon 31 Aug 2020 02:02:30 No.12068586 Report

Quoted By:

>>12068192
That's exactly why the word "recursively" is in Godel's result "you can't recursively axiomatize the theory of arithmetic"

Anonymous

Anonymous Mon 31 Aug 2020 02:22:38 No.12068632 Report

Quoted By:

>>12068192
You need the proof to know if the statement is true.
>>12068220
That's how you determine if the theorem is true.

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches