All public logs
Jump to navigation
Jump to search
Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 19:06, 28 April 2025 Lucianchauvin talk contribs created page 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:47, 28 April 2025 Lucianchauvin talk contribs created page 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,")
- 18:35, 28 April 2025 User account Lucianchauvin talk contribs was created