[ 3 / biz / cgl / ck / diy / fa / g / ic / jp / lit / sci / tg / vr / vt ] [ index / top / reports / report a bug ] [ 4plebs / archived.moe / rbt ]

Due to resource constraints, /g/ and /tg/ will no longer be archived or available. Other archivers continue to archive these boards.Become a Patron!

/sci/ - Science & Math


View post   

[ Toggle deleted replies ]
>> No.9181365 [View]
File: 23 KB, 297x400, Godel_3.jpg [View same] [iqdb] [saucenao] [google] [report]


>> No.8401847 [View]
File: 23 KB, 297x400, Godel_3.jpg [View same] [iqdb] [saucenao] [google] [report]

If there are things that math can't prove, there are things that science can't prove, right?

>> No.8038322 [View]
File: 23 KB, 297x400, Godel_3.jpg [View same] [iqdb] [saucenao] [google] [report]

Do you faggots actually consider yourself smart?

>> No.7899306 [View]
File: 33 KB, 297x400, image.jpg [View same] [iqdb] [saucenao] [google] [report]


Computability theory is very much a live and exist in the mathematics department at my undergraduate institution. The research done on the math department is different than what is taught in the computer science department. This is research looks into which set existence axioms are needed to prove theorems, which allows you to categorize the logical strength of theorems and differentiate between different proofs of theorems. All undergraduate mathematics can be done with transfinite inductive arguments.

But from what I've seen not many math departments outside of a core few have many mathematical logicians. Since computability theory is generally first exposed in an automata class I can see where the misconceptions come from. Based on what I've seen my math classes go into further mathematical meat in recursion theory than my automata classes and it connected it to other areas of mathematics like proof theory, combinatorics, real analysis and Ramsey theory.

>> No.7628787 [View]
File: 23 KB, 297x400, godel_photo.jpg [View same] [iqdb] [saucenao] [google] [report]

>what kind of logical system do you want?
>just make it incomplete
>i got you senpai

>> No.7583600 [View]
File: 18 KB, 297x400, KurtGodel.jpg [View same] [iqdb] [saucenao] [google] [report]

Do mathematicians really understand what they are doing or are they pretending?

>> No.7381828 [View]
File: 23 KB, 297x400, godel_photo.jpg [View same] [iqdb] [saucenao] [google] [report]


>> No.7129279 [View]
File: 23 KB, 297x400, Godel_3.jpg [View same] [iqdb] [saucenao] [google] [report]

Fuck off grandpa.

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