#logic

@puzzling_stackexchange Words, words, words... #Puzzles #Logic #Riddles

@math_stackexchange А note on non-finite axiomatizability of realizable systems in "Axioms and Hulls" by D. Knuth #Mathematics #Logic #Axioms

@stack_exchange_hot_questions What does proof searching mean for Principia Mathematica? - philosophy.stackexchange.com #Philosophy #Logic #Mathematics

@puzzling_stackexchange Seven-card whist for two #Puzzles #Games #Logic

@math_stackexchange Why isn't the axiom of choice disproved using proof by contradiction? #Mathematics #Logic #Axioms

@puzzling_stackexchange Scape room Mario Bross #Puzzles #Gaming #Logic

@stack_exchange_hot_questions Particular name for proofs based on axiom schemas - math.stackexchange.com #Math #Logic #Axioms

@math_stackexchange Particular name for proofs based on axiom schemas #Mathematics #Logic #Proof

@puzzling_stackexchange A moving riddle. Can anyone get on the right track? #Riddle #Logic #Puzzle

@stack_exchange_hot_questions Truths independent of axioms, logic and conceptual framework? - philosophy.stackexchange.com #Philosophy #Logic #Knowledge

@stack_exchange_hot_questions Pentodoku 7x7: a grid puzzle combining pentominoes and Sudoku - puzzling.stackexchange.com #Puzzles #Logic #Games

@puzzling_stackexchange Pentodoku 7x7: a grid puzzle combining pentominoes and Sudoku #Puzzles #Logic #Games

@puzzling_stackexchange Portmanteaux - Can you solve all 10? #Puzzles #Logic #BrainTeaser

@stack_exchange_hot_questions How can identity be non-logical? - philosophy.stackexchange.com #Philosophy #Logic #Identity

@stack_exchange_hot_questions Why do some treat the identity relation ("=") as a non-logical symbol? - philosophy.stackexchange.com #Philosophy #Logic #Symbol

@puzzling_stackexchange Thematic "Against" All Odds #Puzzles #Logic #Riddles

@puzzling_stackexchange Who is Paul's cococococococoauthor? #Puzzles #Riddles #Logic

@puzzling_stackexchange Back from a spot of fishing. #Puzzles #Logic #Riddles

@puzzling_stackexchange Find the reasoning behind this number sequence. #Puzzles #Logic #Math

@puzzling_stackexchange Chomp anywhere, but only squares! #Puzzles #Logic #Games

@wsj_opinion Unlocking the Josephus Code #Math #Logic #History

@puzzling_stackexchange Shallow Lateral-Thinking #Puzzles #Logic #BrainTeasers

@puzzling_stackexchange Hidden In Plain Sight #Puzzles #Logic #Riddles

@puzzling_stackexchange Octomino that can be dissected into two L tetrominoes in two ways #Puzzles #Math #Logic

@puzzling_stackexchange Dissecting a figure into two congruent pieces in three different ways #Puzzles #Geometry #Logic

@puzzling_stackexchange Another odd three out #Puzzles #Logic #Riddles

@math_stackexchange Generalization on $p\rightarrow q$ true for other cases and approach to translate $p$ only if $q$ vs p if q and other similar forms. [duplicate] #Mathematics #Logic #Puzzles

@puzzling_stackexchange Octomino that can be dissected in two ways #Puzzles #Logic #Math

@puzzling_stackexchange The Riddle of the Three Knights #Puzzles #Logic #Riddles

@puzzling_stackexchange Indonesian Cryptic Crossword - TTS Kripik 2 #Puzzles #Logic #Crossword

@lobsters The complement of true is true, except when it's false #Programming #Cpp #Logic

@hackernews The complement of true is true, except when it's false #HackerNews #Tech #Logic

@puzzling_stackexchange Buy from Z&A now! #Puzzles #Logic #Riddles

@math_stackexchange Are the "isomorphisms" that Hofstadter writes about in Gödel, Escher, Bach, genuine isomorphisms? #Mathematics #Logic #Philosophy

@lobsters DogWood: Monitoring Policies using First Order Temporal Logic #AI #Logic #OpenSource

@lobsters Intuitionistic Type Theory (2024) #ComputerScience #Logic #Mathematics

@puzzling_stackexchange Lions and Zebras with restricted zebra movement directions #Puzzles #Logic #GameTheory

@hackernews Reconstructing Concurrency Invariants Through Medieval East Asian Logic #HackerNews #Tech #Logic

@lobsters Know your paradoxes #Logic #Philosophy #Math

@occasionally_cogent A Logic GUI #Programming #Logic #SoftwareDevelopment