/sci/ - Science & Math » Thread #12488910

43KiB, 563x634, 64c4fcff3d087e2cda0aa7912db76c82.jpg

View Same Google iqdb SauceNAO

Anonymous Sun 20 Dec 20:07:01 2020 No.12488910 View Reply Original Report

Quoted By:

When can we expect a proof of inconsistency of Peano Arithmetic?
I can't wait to see all the infinitist schizos BTFO.

Anonymous

View Same Google iqdb SauceNAO voevodsky-pic-superJumbo-v2.jpg, 233KiB, 1302x2048

Anonymous Sun 20 Dec 2020 20:09:12 No.12488924 Report

Quoted By: >>12488985 >>12489086

By the way, Voevodsky-sama believed that it's more likely that arithmetic is inconsistent.
https://www.youtube.com/watch?v=O45LaFsaqMA
In the talk, he also talked about how the reals are too idealized and are probably the wrong way to look at the notion of continuity. Wildberger in was right all along.

Anonymous

Anonymous Sun 20 Dec 2020 20:25:11 No.12488985 Report

Quoted By:

>>12488924
ok i ll add this to my playlist

Anonymous

View Same Google iqdb SauceNAO Chad.jpg, 5KiB, 224x225

Anonymous Sun 20 Dec 2020 20:46:12 No.12489086 Report

Quoted By: >>12489490

>>12488924
R.I.P. to my nigga, he will always be a real one.
(((You know who))) probably had something to do with his death.
At least we still have Wildberger to look towards as a beacon of hope.

Anonymous

Anonymous Sun 20 Dec 2020 22:27:24 No.12489490 Report

Quoted By: >>12489502

>>12489086
beacon of cope more like

Anonymous

Anonymous Sun 20 Dec 2020 22:28:48 No.12489501 Report

Quoted By: >>12489540

Gödel's shit wasn't about logical systems? I fail to see how Peano Arithmetic is a complete logic system.

Anonymous

Anonymous Sun 20 Dec 2020 22:29:12 No.12489502 Report

Quoted By:

>>12489490
Tell us how you really feel.

Anonymous

Anonymous Sun 20 Dec 2020 22:42:40 No.12489540 Report

Quoted By: >>12489747

>>12489501
Godel showed that it's either inconsistent or incomplete.

Anonymous

Anonymous Sun 20 Dec 2020 23:50:51 No.12489747 Report

Quoted By: >>12491362

>>12489540
Then there we have it, it is incomplete.

Anonymous

Anonymous Mon 21 Dec 2020 11:15:51 No.12491362 Report

Quoted By:

>>12489747
Or inconsistent.

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