[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.15724379 [View]
File: 15 KB, 220x291, 1000000409.jpg [View same] [iqdb] [saucenao] [google]
15724379

Why is mathematical foundations so dead these days? The youngest Ph.D advisors I can find are like 85+.

>inb4 "Muh heckin HOTT!!!!

>> No.15588523 [View]
File: 15 KB, 220x291, D7300DDF-A1B8-4949-807B-C7927BC3DEFA.jpg [View same] [iqdb] [saucenao] [google]
15588523

I don’t understand the 2nd incompleteness theorem. I get the numbering system, but as soon as the substitution happens, I’m lost. I’m not yet able to see how a statement can talk about itself. Until then, I’m not actually convinced that this can happen, and I’ve yet to see a string of symbols that refers to itself, just a non-descript statement called “G.” Well what does G look like? Help me understand this.

>> No.15265902 [View]
File: 15 KB, 220x291, g.jpg [View same] [iqdb] [saucenao] [google]
15265902

everyone talk about his incompleteness theorem, but why not his completeness theorem /sci/?

>> No.15238533 [View]
File: 15 KB, 220x291, Young_Kurt_Gödel_as_a_student_in_1925.jpg [View same] [iqdb] [saucenao] [google]
15238533

>>15238505
The highest IQ major is pure math+philosophy

We study logic in its purest form to get the deepest insights into absolute truth

>> No.15138025 [View]
File: 15 KB, 220x291, Young_Kurt_Gödel_as_a_student_in_1925.jpg [View same] [iqdb] [saucenao] [google]
15138025

Satan of Mathematics

>> No.14645198 [View]
File: 15 KB, 220x291, 03C2D03C-02A2-4061-A1DB-CA6FE3411244.jpg [View same] [iqdb] [saucenao] [google]
14645198

Why do people trust the incompleteness theorems so much?
>relies on self-reference, a logically invalid concept
>relies on a distinction between truth and provability
>only works when considering statements that have nothing to do with actual math

Navigation
View posts[+24][+48][+96]