| | How the continuum hypothesis could have been a fundamental axiom (hamkins.org) |
|
72 points by FillMaths 3 months ago | past | 48 comments
|
|
| | Did Turing prove the undecidability of the halting problem? (hamkins.org) |
|
1 point by FillMaths 3 months ago | past | 2 comments
|
|
| | The propagation of error in classical geometry constructions (2018) (hamkins.org) |
|
88 points by downboots 7 months ago | past | 27 comments
|
|
| | Set-theoretic forcing as a computational process (hamkins.org) |
|
1 point by gone35 on May 7, 2023 | past
|
|
| | New course on Infinity at Notre Dame (with invitation for open participation) (hamkins.org) |
|
1 point by FillMaths on Jan 8, 2023 | past
|
|
| | New course on Infinity at Notre Dame (with open participation invitation) (hamkins.org) |
|
2 points by FillMaths on Jan 8, 2023 | past
|
|
| | A position in infinite chess with game value Omega^4 (hamkins.org) |
|
3 points by CDSlice on Oct 28, 2022 | past
|
|
| | Transfinite game values in infinite chess (2013) (hamkins.org) |
|
32 points by alexmolas on Oct 28, 2022 | past | 7 comments
|
|
| | Self-similar self-similarity, a playful essay on symmetry by Joel David Hamkins (hamkins.org) |
|
2 points by FillMaths on Oct 11, 2022 | past
|
|
| | Infinite Wordle and the Mastermind Numbers (hamkins.org) |
|
1 point by LettuceLeaf on March 15, 2022 | past
|
|
| | Coming to Agreement, a logic puzzle for Oxford admissions interviews (hamkins.org) |
|
63 points by mathgenius on Dec 27, 2021 | past | 92 comments
|
|
| | Sudoku for two players and its strategies (hamkins.org) |
|
2 points by amichail on Dec 3, 2021 | past
|
|
| | Proof and the Art of Mathematics (hamkins.org) |
|
7 points by holonomically on Nov 23, 2021 | past
|
|
| | The lattice of sets of natural numbers is rich (hamkins.org) |
|
13 points by ubavic on Sept 18, 2021 | past
|
|
| | How to Count to Infinity (and Beyond) (hamkins.org) |
|
1 point by LettuceLeaf on Sept 4, 2021 | past
|
|
| | A poster about: How to count to infinity and beyond (hamkins.org) |
|
2 points by LettuceLeaf on Sept 2, 2021 | past
|
|
| | New results on Gödel incompleteness: talk this Monday at 19:00 UTC (hamkins.org) |
|
3 points by IngoBlechschmid on Jan 25, 2021 | past
|
|
| | Lectures on the philosophy of mathematics, Oxford, Michaelmas term 2019 (hamkins.org) |
|
2 points by vo2maxer on Dec 24, 2019 | past
|
|
| | Draw an infinite chessboard in perspective view, by hand (hamkins.org) |
|
2 points by GemsTock on Aug 31, 2018 | past
|
|
| | Infinite Sudoku and the Sudoku game (hamkins.org) |
|
1 point by BowserBow on April 17, 2018 | past
|
|
| | Checkmate in a transfinite number of moves (hamkins.org) |
|
2 points by cgmg on March 17, 2018 | past
|
|
| | Nonstandard models of arithmetic arise in the complex numbers (hamkins.org) |
|
2 points by colinprince on March 14, 2018 | past
|
|
| | Math for eight-year-olds: graph theory for kids (hamkins.org) |
|
3 points by arunc on Oct 4, 2017 | past
|
|
| | A program that accepts exactly any desired finite set, in the right universe (hamkins.org) |
|
87 points by omaranto on May 7, 2017 | past | 18 comments
|
|
| | Every function can be computable (hamkins.org) |
|
4 points by lisper on April 4, 2017 | past | 1 comment
|
|
| | Nondegenerate regular polygons in the integer lattice (hamkins.org) |
|
4 points by hardmath123 on Feb 12, 2017 | past
|
|
| | Would one day of NYC coffee fill the Statue of Liberty? And other fun questions (hamkins.org) |
|
1 point by AllTalk on Nov 10, 2016 | past
|
|
| | Transfinite Game Values in Infinite Chess (hamkins.org) |
|
3 points by vinchuco on March 26, 2016 | past
|
|
| | Pop culture written in logic – can you figure them out? (hamkins.org) |
|
1 point by AllTalk on March 19, 2016 | past
|
|
| | Famous Quotations in logic form (hamkins.org) |
|
2 points by efm on March 18, 2016 | past
|
|
|
|
More |
