#logicbeefs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #logicbeefs, aggregated by home.social.
-
Today in #philosophybeefs or #logicbeefs: The dispute between Browler and Hilbert over the validity of the law of excluded middle in logic:
https://en.wikipedia.org/wiki/Brouwer%E2%80%93Hilbert_controversy