 
                        
                            
                                AI-created image
                            
                        
                    Statements (23)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:human | 
| gptkbp:almaMater | gptkb:University_of_Göttingen | 
| gptkbp:birthDate | 1896-03-29 | 
| gptkbp:birthPlace | gptkb:Herscheid | 
| gptkbp:deathDate | 1962-12-24 | 
| gptkbp:deathPlace | gptkb:Lüdenscheid | 
| gptkbp:doctoralAdvisor | gptkb:David_Hilbert | 
| gptkbp:field | gptkb:logic gptkb:set_theory proof theory recursion theory | 
| gptkbp:knownFor | gptkb:Ackermann_function work on consistency proofs | 
| gptkbp:memberOf | gptkb:German_Academy_of_Sciences_Leopoldina | 
| gptkbp:nationality | gptkb:German | 
| gptkbp:notableWork | gptkb:Ackermann_function contributions to proof theory | 
| gptkbp:occupation | gptkb:mathematician | 
| gptkbp:publishedIn | gptkb:Mathematische_Annalen gptkb:Mathematische_Zeitschrift | 
| gptkbp:bfsParent | gptkb:David_Hilbert | 
| gptkbp:bfsLayer | 3 | 
| https://www.w3.org/2000/01/rdf-schema#label | Wilhelm Ackermann |