#logic

@lobsters A Crash Course in Predicate Logic #Logic #Mathematics #Education

@hillel_wayne A Crash Course in Predicate Logic #Logic #ComputerScience #Programming

@lobsters A SAT Attack on Tarski's High School Algebra Problem #Math #Algebra #Logic

@gizmodo This Brain Teaser Lied to Players for 3 Years, and Math Finally Caught It #Science #Math #Logic

@lobsters 50 years of proof assistants #ComputerScience #History #Logic

@hackernews How Gödel's Proof Works #HackerNews #Tech #Logic

@lobsters Logic for Programmers #Programming #Logic #ComputerScience

@hackernews An Introduction to Formal Logic(2020) [pdf] #HackerNews #Tech #Logic

@hackernews The Beauty of Tautologies #HackerNews #Tech #Logic

@hackernews All Logic, No Bite #HackerNews #Tech #Logic

@scientific_american John Allen Paulos #Science #Math #Logic

@lobsters Datalog #Programming #Databases #Logic

@lobsters Deconstructing Datalog #Programming #Databases #Logic

@kottke TIL about variant sudoku puzzles , "sudoku with... #Puzzles #Games #Logic

@lobsters Warren's Abstract Machine: A Tutorial Reconstruction #Programming #Tutorial #Logic

@lobsters Ciao - Assertions and their Use #Programming #Logic #SoftwareDevelopment

@scientific_american How Gödel numbers turn mathematical laws against themselves #Mathematics #Logic #Science

@lobsters Coalgebras and Automata #Haskell #ComputerScience #Logic

@scientific_american How the mathematician Gödel proved that not everything can be proven #Logic #Math #Philosophy

@lobsters The case against boolean logic #Logic #Philosophy #ComputerScience

@hackernews The case against boolean logic #HackerNews #Tech #Logic

@scientific_american Math puzzle: Fix the matchstick equation #Math #Puzzle #Logic

@scientific_american A lamp flickering on and off inspires the math mystery of Thomson's lamp #Science #Math #Logic

@hackernews What Do Gödel's Incompleteness Theorems Mean? #HackerNews #Tech #Logic

@quanta What Do Gödel's Incompleteness Theorems Truly Mean? #Mathematics #Logic #Science

@lobsters Thinking in States #Programming #Logic #SoftwareDevelopment

@lobsters Point-Free Logic Programming #Programming #Logic #Functional

@lobsters Unlocking sudoku's secrets (2025) #Math #Puzzles #Logic

@lobsters Abstract Machines for Logic Programs #Programming #Logic #ComputerScience

@hackernews Abstract Machines for Logic Programs #HackerNews #Tech #Logic

@lobsters Inexpressibility in Exp-Minus-Log #Math #Logic #Research

@hackernews The extended predicative Mahlo universe in Martin-Löf type theory #HackerNews #Tech #Logic

@aartaka Binary Lambda Calculus is Hard #Tech #Programming #Logic

@works_in_progress The triumph of logical English #Language #Linguistics #Logic

@aartaka Making Sense of Lambda Calculus 6: Recurring Problems #Tech #Programming #Logic

@aartaka Making Sense of Lambda Calculus 3: Truth or Dare With Booleans #Tech #Programming #Logic

@jane_street Proofs (and Refutations) using Z3 #Programming #SoftwareEngineering #Logic

@russcox Minimal Boolean Formulas #Programming #Algorithms #Logic