Re:Large Countable Ordinals, Part 1
by jacobtr on Monday July 18, 2016 @03:07PM
(#12117381)
This is great - like Wikipedia but with explanation instead of facts that are impenetrable to those who don't already understand. There's a startup called Arbital (https://arbital.com/) working on similar posts to this.
Re:Large Countable Ordinals, Part 1
by yk on Monday July 18, 2016 @11:16AM
(#12115545)
Recently watched the Extremly large numbers [1] youtube series, which nicely complements Baez's series with examples.
(Quick follow up question, as far as I understand, there should be a way to understand large cardinals as recursion, so I wonder if there is a (ultra-) finitist account of large cardinals.)
Re:Large Countable Ordinals, Part 1
by goldenkey on Monday July 18, 2016 @05:18PM
(#12118111)
Is it just me or has HN been having a lot more math submissions lately? Physics too (which stands on the shoulders of math.) It's kind of whimsical to me, because I am transitioning to becoming a professional mathematician, as a programmer of 15 years.
https://johncarlosbaez.wordpress.com/2016/07/04/large-counta...
https://johncarlosbaez.wordpress.com/2016/07/07/large-counta...
(Quick follow up question, as far as I understand, there should be a way to understand large cardinals as recursion, so I wonder if there is a (ultra-) finitist account of large cardinals.)
[1] https://www.youtube.com/watch?v=vq2BxAJZ4Tc&list=PLUZ0A4xAf7...