메뉴 건너뛰기




Volumn 69, Issue 3, 2002, Pages 447-451

Logicism Lite

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0042378560     PISSN: 00318248     EISSN: None     Source Type: Journal    
DOI: 10.1086/342455     Document Type: Article
Times cited : (26)

References (9)
  • 2
    • 0039548944 scopus 로고    scopus 로고
    • The Logicist Foundations of Mathematics
    • Paul Benacerraf and Hilary Putnam (eds.). Cambridge: Prentice-Hall, translated by Erna Putnam and Gerald J. Massey
    • Carnap, Rudolf ([1931] 1983), "The Logicist Foundations of Mathematics", in Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings. Cambridge: Prentice-Hall, translated by Erna Putnam and Gerald J. Massey. Originally published as "Die logizistische Grundlegung der Mathematik", Erkenntnis 2: 91-105.
    • (1931) Philosophy of Mathematics: Selected Readings
    • Carnap, R.1
  • 3
    • 0039548944 scopus 로고    scopus 로고
    • Die logizistische Grundlegung der Mathematik
    • Carnap, Rudolf ([1931] 1983), "The Logicist Foundations of Mathematics", in Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings. Cambridge: Prentice-Hall, translated by Erna Putnam and Gerald J. Massey. Originally published as "Die logizistische Grundlegung der Mathematik", Erkenntnis 2: 91-105.
    • Erkenntnis , vol.2 , pp. 91-105
  • 4
    • 0043048371 scopus 로고    scopus 로고
    • A Substitutional Framework for Arithmetical Validity
    • Ferreira, Fernando (1998-1999), "A Substitutional Framework for Arithmetical Validity", Grazer philosophische Studien 56: 133-149.
    • (1998) Grazer Philosophische Studien , vol.56 , pp. 133-149
    • Ferreira, F.1
  • 5
    • 0003913615 scopus 로고
    • Oxford: Oxford University Press
    • Gödel, Kurt (1986), Collected Works, Vol. 1, Oxford: Oxford University Press.
    • (1986) Collected Works , vol.1
    • Gödel, K.1
  • 6
    • 0041545281 scopus 로고    scopus 로고
    • Logicism 2000: A Mini-manifesto
    • Adam Morton and Stephen P. Stich (eds.). Oxford: Blackwell
    • Jeffrey, Richard (1996), "Logicism 2000: A Mini-Manifesto", in Adam Morton and Stephen P. Stich (eds.), Benacerraf and his Critics. Oxford: Blackwell, 160-164.
    • (1996) Benacerraf and His Critics , pp. 160-164
    • Jeffrey, R.1
  • 7
    • 0043048373 scopus 로고    scopus 로고
    • Depois do Empirismo Lógico/After Logical Empiricism
    • António Zilhão (ed.). Lisboa: Colibri
    • _(2002), "Depois do Empirismo Lógico/After Logical Empiricism", in António Zilhão (ed.), Petrus Hispanus Lectures 2000. Lisboa: Colibri.
    • (2002) Petrus Hispanus Lectures 2000
  • 8
    • 0000674810 scopus 로고
    • Ring-theoretic properties of certain Hecke algebras
    • Taylor, Richard and Andrew Wiles (1995), "Ring-theoretic properties of certain Hecke algebras", Annals of Mathematics 142: 553-572.
    • (1995) Annals of Mathematics , vol.142 , pp. 553-572
    • Taylor, R.1    Wiles, A.2
  • 9
    • 0000603921 scopus 로고
    • Modular elliptic curves and Fermat's Last Theorem
    • Wiles, Andrew (1995), "Modular elliptic curves and Fermat's Last Theorem", Annals of Mathematics 142: 443-551.
    • (1995) Annals of Mathematics , vol.142 , pp. 443-551
    • Wiles, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.