User contributions for Lucianchauvin
Jump to navigation
Jump to search
28 April 2025
- 19:0619:06, 28 April 2025 diff hist +93 N Independence from ZFC Created page with "'''Independence from ZFC''' refers to whether the computation of BB(n) is independent of ZFC." Tag: Visual edit: Switched
- 18:4718:47, 28 April 2025 diff hist +121 N Talk:Independence from ZFC Created page with "A good introduction can come from here: https://www.ingo-blechschmidt.eu/assets/bachelor-thesis-undecidability-bb748.pdf,"