Kapcsolódó saját írásaim:

Kapcsolódó fórumok:

 

Paradoxonok:
Cantor, Russell,
Gödel, Turing,
Richard ....

Itt elolvashatod Gődel eredeti írásának (1931) Meltzer általi angol fordítását

Itt van Hirzel fordítása: http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf

 

 

Összeállította és írta:
Geier János

2001.04.26-2011.11.09

Észrevételeket, egyetértő- vagy  ellenvéleményeket
erre az email címre várom.

 

 

 

  Henk Csaba: A halmazelmélet axiómái (Államvizsgakérdések)

  P.E. Johnson: egy áttekintés a paradoxonokról

  Kevin C. Klement: A Russell paradoxon

  Kevin C. Klement: A Russell-Mayhill paradoxon

  D. Lair and J.Laison: A Richard paradoxon

  Kalmár László: Richard vs. Kőnig Gyula   (?. verzió) (melyik az igazi?) 

Ruzsa Imre: Az antinómiákról és a formalizmusról

Abelard kritikái:

         Abelard Gődel kritikája

         Mit mond Abelard a bizonyíthatóságról

         Abelard kritikája a Richard paradoxonról

  (Ki volt az "eredeti" Abélard az Új magyar lexikon szerint?)

  William Denton: Gödel dícsérete

  Turing a "Turing" gépekről (1936-7), eredeti cikk Abelard honlapjáról:

                ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM

  Mit nem tudnak a számítógépek? Turing gépek és a megállási probléma.


  Turing a számológépek és gondolkodásról (1950):

            Az eredeti Turing cikk Abelard honlapjáról: COMPUTING MACHINERY AND INTELLIGENCE

            Az eredeti Turing cikk magyar fordítása: Számológépek és gondolkodás

  Turing honlap

  Turing cikk kritikája Abelard szerint

  Újságcikk: http://index.hu/tech/cyberia/turing/

WB01645_.gif (170 bytes)  Vissza a főlapra