character: David Hilbert
topic: Decidability and Formal Systems
grade: 12
subject: Computer Science
LearnActions
SearchCreate
character: Alan Turing
topic: Turing Machines and Computability
grade: 12
subject: Computer Science
LearnActions
SearchCreate
character: George Boole
topic: Boolean Algebra and Logic
grade: 12
subject: Computer Science
LearnActions
SearchCreate
character: Kurt Gödel
topic: Gödel's Incompleteness Theorems
grade: 12
subject: Computer Science
LearnActions
SearchCreate