character: Kurt Gödel
topic: Incompleteness Theorems
grade: 10
subject: Mathematics
LearnActions
SearchCreate
character: Mathematical Logic
topic: Foundations of Mathematics
grade: 10
subject: Mathematics
LearnActions
SearchCreate
character: Alan Turing
topic: Computability and Decidability
grade: 10
subject: Mathematics
LearnActions
SearchCreate
character: David Hilbert
topic: Hilbert's Program
grade: 10
subject: Mathematics
LearnActions
SearchCreate