The following pages link to (Q5299931):
Displaying 6 items.
- HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (Q2795296) (← links)
- Why Post Did [Not] Have Turing’s Thesis (Q3305321) (← links)
- Performance of information criteria for selection of Hawkes process models of financial data (Q4554419) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- (Q5207165) (← links)
- VON NEUMANN’S CONSISTENCY PROOF (Q5737949) (← links)