/sci/ - Science & Math » Thread #14339807

75KiB, 900x750, Godel.jpg

View Same Google iqdb SauceNAO

Anonymous Sun 27 Mar 06:40:17 2022 No.14339807 View Reply Original Report

Quoted By: >>14339816 >>14340802 >>14343488

https://www.youtube.com/watch?v=LS3S2FNqxV4

Is Godel right /sci/entists?
If no logic can be true outside its own scope, does it even matter?

Anonymous

Anonymous Sun 27 Mar 2022 06:44:05 No.14339816 Report

>>14339807
>is Gödel right
He wrote a theorem. It’s true when interpreted properly, in the logical framework in which it was constructed.

Anonymous

Anonymous Sun 27 Mar 2022 06:46:19 No.14339820 Report

Quoted By:

>>14339816
naturally, but what I really want to know is if his framework or axioms are '''right'''

Anonymous

Anonymous Sun 27 Mar 2022 15:18:33 No.14340802 Report

Quoted By:

>>14339807
This proof seems to depend on S4, which is almost one level before everything becomes trivial (S5).

Anonymous

Anonymous Sun 27 Mar 2022 16:38:30 No.14341034 Report

Quoted By:

>>14339816
there is no such thing as a proper interpretation

Anonymous

Anonymous Sun 27 Mar 2022 19:01:20 No.14341473 Report

Quoted By:

>take arbitrary mathematical object
>define all its properties as positive
>congratulations you have now found religion

Actic

Actic Mon 28 Mar 2022 09:28:33 No.14343488 Report

Quoted By:

>>14339807
Scientists before Gen Builders are the greatest

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