1848-1925 1872-1970 algebra algorithms analysis(philosophy) arithmetic artificialintelligence aufsatzsammlung automatictheoremproving bertrand codingtheory combinatorialanalysis communication computablefunctions computationalcomplexity computationalintelligence computerprogramming computers computerscience congresses criticalthinking dataprocessing distribution(probabilitytheory) famousproblems frege general geneticepistemology giochimatematici goedel'stheorem gottlob gödel gödel'stheorem gödelscherunvollständigkeitssatz héritage incertitude induction(mathematics) induction(mathématiques) informationmeasurement informationstorageandretrievalsystems informationtheory informatique intelligenceartificielle juvenileliterature kongress linearprogramming logic logica logicamatematica logicdesign logicprogramming logique logiquedéfaut logiquesymboliqueetmathématique mathematicalfoundations mathematicallogic mathematicallogicandfoundations mathematicaloptimization mathematicalrecreations mathematics methodology modality(logic) naturallanguageprocessing ontology philosophy philosophyofscience physics possibility probabilities probability probabilités programmationlogique prooftheory quantumtheory raisonnementnonmonotone reasoning reasoning(psychology) recursivefunctions reduktionssystem rewritingsystems(computerscience) rhetoric russell science science/mathematics self-organizingsystems semantics(philosophy) settheory symbolicandmathematical textbooks thoughtandthinking théoriedelapreuve théoriepossibilité théorèmede théorèmedegödel