Register
Dark Mode

Type Theory Forall Podcast - #18 Gödel's Incompleteness Theorems - Cody Roux

0 like 0 dislike
0 like 0 dislike
Type Theory Forall Podcast - #18 Gödel's Incompleteness Theorems - Cody Roux
by

1 Answer

0 like 0 dislike
0 like 0 dislike
This has been consistently pretty good. Listening to this podcast I get a sense of some of the culture in this area and background/stories you don't quite get from textbooks and papers.

Had I known about this field earlier, I would have definitely angled towards it during graduate school.
by

Related questions

0 like 0 dislike
0 like 0 dislike
79 answers
coL_Punisher asked Jun 21
Regretting majoring in math
Regretting majoring in math
coL_Punisher asked Jun 21
by coL_Punisher
0 like 0 dislike
0 like 0 dislike
61 answers
_spunkki asked Jun 21
Just ordered a Klein Bottle from Cliff Stoll. He sent me about 2 dozen pictures of him packing it up. Why is he so cute :)
Just ordered a Klein Bottle from Cliff Stoll. He sent me about 2 dozen pictures of him packing it up. Why is he so cute :)
_spunkki asked Jun 21
by _spunkki
0 like 0 dislike
0 like 0 dislike
21 answers
Brands_Hatch asked Jun 21
Is set theory dying?
Is set theory dying?
Brands_Hatch asked Jun 21
by Brands_Hatch
0 like 0 dislike
0 like 0 dislike
2 answers
a_dalgleish asked Jun 21
Contributing to the right math area, If all areas are equally curious
Contributing to the right math area, If all areas are equally curious
a_dalgleish asked Jun 21
by a_dalgleish
0 like 0 dislike
0 like 0 dislike
5 answers
BrianDenver7 asked Jun 21
Is there a nice way to recast riemannian geometry in terms of principal bundles?
Is there a nice way to recast riemannian geometry in terms of principal bundles?
BrianDenver7 asked Jun 21
by BrianDenver7

24.8k questions

103k answers

0 comments

33.7k users

OhhAskMe is a math solving hub where high school and university students ask and answer loads of math questions, discuss the latest in math, and share their knowledge. It’s 100% free!
Link Copied!