Quantcast
[ 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

Search:


View post   

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

WHITE

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

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]
8038322

Do you faggots actually consider yourself smart?

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

>>7899020
>>7899048
>>7898995
>>7898930

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]
7628787

>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]
7583600

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]
7381828

>>7381792
https://en.wikipedia.org/wiki/G%C3%B6del_numbering

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

>>7129267
Fuck off grandpa.



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