Wolfram

@wolframresearch · Twitter · 2026-01-14 17:45 UTC

Logic is a foundation for many things. But what are the foundations of logic itself? Back in 2000, @stephen_wolfram got a computer to prove that all we need is ((a•b)•c)•(a•((a•c)•a))==c But can we humans understand why? https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics #WorldLogicDay