Equation form expr-79d4c7f9c8579543
Read as: the natural numbers
Means: the natural numbers
1 occurrence in this chapter
Equation form expr-dabd3aff769f07eb
Read as: less than
Means: less than
1 occurrence in this chapter
Equation form expr-f4c5f593f3b41f64
Read as: I sub one is properly contained in I sub two, which is properly contained in the next ideal, and so on
Means: I sub one is properly contained in I sub two, which is properly contained in the next ideal, and so on
1 occurrence in this chapter
Equation form expr-fcbb8887fadee93b
Read as: three x squared minus two y plus three equals zero
Means: three x squared minus two y plus three equals zero
1 occurrence in this chapter
Cross-reference reference-001662
Joseph Dauben (1990)
Source occurrence
Cross-reference reference-001663
Ivor Grattan-Guinness (1971)
Source occurrence
Cross-reference reference-001664
(Marcus du Sautoy, 2014)
Source occurrence
Cross-reference reference-001665
Daniel Rose (2012)
Source occurrence
Cross-reference reference-001666
Herbert B. Enderton (2019)
Source occurrence
Cross-reference reference-001667
Alonzo Church (1936)
Source occurrence
Cross-reference reference-001668
Alonzo Church (1936)
Source occurrence
Cross-reference reference-001669
William Aspray (1984)
Source occurrence
Cross-reference reference-001670
(John MacFarlane, 2015)
Source occurrence
Cross-reference reference-001671
Eckart Menzler-Trott (2007)
Source occurrence
Cross-reference reference-001672
Sanford L. Segal (2014)
Source occurrence
Cross-reference reference-001673
(Gerhard Gentzen, 1935)
Source occurrence
Cross-reference reference-001674
(Gerhard Gentzen, 1935)
Source occurrence
Cross-reference reference-001675
Manfred E. Szabo (1969)
Source occurrence
Cross-reference reference-001676
(Kurt Gödel, 1929)
Source occurrence
Cross-reference reference-001677
Kurt Gödel 1931
Source occurrence
Cross-reference reference-001678
John Dawson, Jr. (1997)
Source occurrence
Cross-reference reference-001679
Hao Wang (1990)
Source occurrence
Cross-reference reference-001680
Matthias Baaz and Christos H. Papadimitriou and Hilary W. Putnam and Dana S. Scott and Charles L. Harper Jr. (2011)
Source occurrence
Cross-reference reference-001681
Gaisi Takeuti and Nicholas Passell and Mariko Yasugi (2003)
Source occurrence
Cross-reference reference-001682
Karl Sigmund and John Dawson and Kurt Mühlberger and Hans Magnus Enzensberger and Juliette Kennedy (2007)
Source occurrence
Cross-reference reference-001683
(Kurt Gödel, 1929)
Source occurrence
Cross-reference reference-001684
(Kurt Gödel, 1931)
Source occurrence
Cross-reference reference-001685
Solomon Feferman and John W. Dawson Jr. and Stephen C. Kleene and Gregory H. Moore and Robert M. Solovay and Jean van Heijenoort (1986)
Source occurrence
Cross-reference reference-001686
Solomon Feferman and John W. Dawson Jr. and Stephen C. Kleene and Gregory H. Moore and Robert M. Solovay and Jean van Heijenoort (1990)
Source occurrence
Cross-reference reference-001687
Peter Smith (2013)
Source occurrence
Cross-reference reference-001688
(Mark Linsenmayer, 2014)
Source occurrence
Cross-reference reference-001689
(Auguste Dick, 1981, 81)
Source occurrence
Cross-reference reference-001690
Auguste Dick (1981)
Source occurrence
Cross-reference reference-001691
(Perimeter Institute, 2015)
Source occurrence
Cross-reference reference-001692
(Holly Frey and Tracy V. Wilson, 2015)
Source occurrence
Cross-reference reference-001693
(Nathan Jacobson, 1983)
Source occurrence
Cross-reference reference-001694
Rózsa Péter (1935a)
Source occurrence
Cross-reference reference-001695
Rózsa Péter (1935b)
Source occurrence
Cross-reference reference-001696
(Rózsa Péter, 1951)
Source occurrence
Cross-reference reference-001697
(John J. O'Connor and Edmund F. Robertson, 2014)
Source occurrence
Cross-reference reference-001698
(Béla Andrásfai, 1986)
Source occurrence
Cross-reference reference-001699
Istvan Tamassy (1994)
Source occurrence
Cross-reference reference-001700
(Rózsa Péter, 2010)
Source occurrence
Cross-reference reference-001701
(Constance Reid, 1986, 4)
Source occurrence
Cross-reference reference-001702
(Constance Reid, 1986, 13)
Source occurrence
Cross-reference reference-001703
(1949)
Source occurrence
Cross-reference reference-001704
(Martin Davis and Hilary Putnam and Julia Robinson, 1961)
Source occurrence
Cross-reference reference-001705
(Yuri Matijasevich, 1992, 45)
Source occurrence
Cross-reference reference-001706
(Julia Robinson, 1996)
Source occurrence
Cross-reference reference-001707
(Solomon Feferman, 1994)
Source occurrence
Cross-reference reference-001708
(Constance Reid, 1986)
Source occurrence
Cross-reference reference-001709
(Constance Reid, 1996)
Source occurrence
Cross-reference reference-001710
(George Csicsery, 2016)
Source occurrence
Cross-reference reference-001711
(Yuri Matijasevich, 1992)
Source occurrence
Cross-reference reference-001712
(Bertrand Russell, 1967)
Source occurrence
Cross-reference reference-001713
(Bertrand Russell, 1968)
Source occurrence
Cross-reference reference-001714
(Bertrand Russell, 1969)
Source occurrence
Cross-reference reference-001715
Arlene Duncan (2015)
Source occurrence
Cross-reference reference-001716
(Bertrand Russell, 1905)
Source occurrence
Cross-reference reference-001717
(Andrew David Irvine, 2015)
Source occurrence
Cross-reference reference-001718
Bertrand Russell (n.d.)
Source occurrence
Cross-reference reference-001719
LibriVox (n.d.)
Source occurrence
Cross-reference reference-001720
(Anita Feferman and Solomon Feferman, 2004)
Source occurrence
Cross-reference reference-001721
(John Corcoran, 1983)
Source occurrence
Cross-reference reference-001722
(Alfred Tarski, 1981)
Source occurrence
Cross-reference reference-001723
Andrew Hodges (2014)
Source occurrence
Cross-reference reference-001724
(Morten Tyldum, 2014)
Source occurrence
Cross-reference reference-001725
Radiolab (2012)
Source occurrence
Cross-reference reference-001726
(Christopher Sykes, 1992)
Source occurrence
Cross-reference reference-001727
(Andre Theelen, 2012)
Source occurrence
Cross-reference reference-001728
Alan M. Turing (1937)
Source occurrence
Cross-reference reference-001729
Heinz-Dieter Ebbinghaus (2015)
Source occurrence
Cross-reference reference-001730
(Ernst Zermelo, 1904)
Source occurrence
Cross-reference reference-001731
(Ernst Zermelo, 1908)
Source occurrence
Cross-reference reference-001732
(Heinz-Dieter Ebbinghaus and Craig G. Fraser and Akihiro Kanamori, 2010)
Source occurrence
Cross-reference reference-001733
(Heinz-Dieter Ebbinghaus and Akihiro Kanamori, 2013)
Source occurrence