/sci/ - Science & Math » Thread #10878577

182KiB, 1046x1042, calabiyau4.png

View Same Google iqdb SauceNAO

Anonymous Sat 10 Aug 21:41:45 2019 No.10878577 View Reply Original Report

Quoted By: >>10878678

Is there a limit to which mathematical theorems can be proven by the human mind?

Anonymous

Anonymous Sat 10 Aug 2019 21:43:35 No.10878580 Report

Quoted By: >>10878589

No

The real question is, will your mother ever get so fat that her mass cannot be understood by the human mind?

Anonymous

Anonymous Sat 10 Aug 2019 21:49:07 No.10878589 Report

Quoted By:

>>10878580
bazinga

Anonymous

Anonymous Sat 10 Aug 2019 21:55:06 No.10878594 Report

Quoted By: >>10878605 >>10878614

Yes, the only theorems that can be proven by humans are those which are possible to prove.

Anonymous

Anonymous Sat 10 Aug 2019 21:59:38 No.10878605 Report

Quoted By: >>10878618

>>10878594
k but what about https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems

Anonymous

Anonymous Sat 10 Aug 2019 22:08:58 No.10878614 Report

Quoted By: >>10878620

>>10878594
Four color.

Anonymous

Anonymous Sat 10 Aug 2019 22:13:28 No.10878618 Report

Quoted By:

>>10878605
That says there are true theorems which cannot be proven within the system under consideration. That's what is being referenced in the post you're replying to.

Anonymous

Anonymous Sat 10 Aug 2019 22:14:32 No.10878620 Report

Quoted By: >>10878637

>>10878614
A human could do those calculations by hand if they really cared to.

Anonymous

Anonymous Sat 10 Aug 2019 22:25:26 No.10878637 Report

Quoted By:

>>10878620
How do you know? Do you have empirical evidence to support your claim?

Anonymous

Anonymous Sat 10 Aug 2019 22:59:40 No.10878678 Report

Quoted By:

>>10878577
NO

Complexity with Mathematics can be distilled to symbols and abstracted away.
Humans can manipulate symbols.
Being human is irrelevant to the question of possibility.
SPEED is where we fall short.

For limits on what can be proven, look at incompleteness theorems and maybe even the theory of computation and Turing.

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