#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

@lcamtufs_thing Know your paradoxes #Philosophy #Logic #CriticalThinking

@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

@veit_heller Simple Sudoku Solvers SII, EV: Racket/miniKanren #Programming #Racket #Logic

@puzzling_stackexchange place as many Queens as you can #Puzzles #Logic #QueensProblem

@math_stackexchange Gödel constructibles's proof of the axioms #Mathematics #Logic #Proof

@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

@futurice Fuzzy logic and Expert systems in the modern AI context #AI #Tech #Logic

@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

@robbie_lyman Nuh-uh! Infinity plus one! #Mathematics #Infinity #Logic

@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

@puzzling_stackexchange Place 6 crosses in a 3*3 grid such that no 3 crosses are in the same row, column or diagonal. #Puzzles #Logic #Math