categories
- Traffic and Vehicles Catalogue
- socreal.catalog
- Advertisement Catalogue
- Photo Catalogue
- Chinese and Japanese Catalogue
- New Holy Card Catalogue II.
- 12 interesting old books
- Books
- Logic Puzzles
- Child Rearing
- Albums
- Speleology
- Mining
- Bestseller
- Bibliography
- Mode, mode history
- Other
- Eroticism
- Essay
- Ethology
- Esoteric books
- Biography
- Fantasy
- Philosophy
- Geography
- Gastronomy
- Alpinism
- Hobby
- Humour
- Foreign Language Books
- Children's books
- Informatics
- Literary History
- Informing
- Law
- Calendar
- Gardening
- Comics
- Needlework, Embroidery
- Classical Philology
- Communication
- Book history, typography
- Economy
- Criminalistics
- Lexicons, Handbooks
- Horse, riding
- Media
- Bee-keeping
- Military, Ordenskunde
- Miniature books
- Arts
- Ethnography
- Philately, Numismatics
- Linguistics
- Orientalism
- Medical books
- Pedagogy
- Psychology
- Politics
- Archeology
- Old pulp fiction
- Rhetoric
- Promotion
- Science Fiction
- Sports
- Literature
- Social Psychology
- Sociology
- Entertaining Literature
- Dictionary, Language books
- Social science
- Technical books
- Cartography
- Natural Sciences
- Incomplete
- History
- Newspapers, Magazines
- Hunting
- Religion
- Bibliophil
- Antiques
- Engraving
- Maps
- Photos
- Antique Papers, Small Prints
- Posters
- Circus
- Modern Graphics
- Socialist Realism
- NER Propaganda
- Others
cart
Cart is empty
You've not logged in
Smullyan, Raymond : Gödel nemteljességi tételei
- description
- additional information
3. kiadás.
Sorozat: A logika világa.
Kurt Gödel minden kétséget kizáróan századunk legnagyobb logikusa, 1931-es cikkének megjelenése a matematikai logika történetének egyik fordulópontja. Bizonyítást nyer itt, hogy az axiomatikus módszer nem "mindenható": az aritmetikát is magukba foglaló rendszerekről kiderül, hogy mindig akad bennük olyan állítás, amely a rendszer keretei között nem bizonyítható és nem is cáfolható, sőt a rendszer ellentmondás-mentessége sem.
Smullyan, akinek nevét a Mi a címe ennek a könyvnek, A hölgy vagy a tigris és a Seherezádé rejtélye című nagysikerű kötetek szerzőjeként ismertük meg, a tőle megszokott világos, élvezetes stílusban nyújt bevezetést a logika ezen központi témakörébe. Nem csupán Gödel eredeti gondolatmenetét követhetjük nyomon, de megismerkedhetünk az eredmények különböző általánosításaival is. Külön figyelmet érdemel az utolsó fejezet, amelyben színre lépnek a szerző kedvenc szereplői - lovagok, lókötők, sámánok - is, a logikai fejtörők pedig az eredmények újragondolására és további általánosításra sarkallnak. A kötet anyagának jelentős része magyar nyelven először jelenik meg, a szerző azonban a már ismert bizonyítások helyett is új, egyszerűbb gondolatmeneteket mutat be. A tanulást számos feladat segíti.
Sorozat: A logika világa.
Kurt Gödel minden kétséget kizáróan századunk legnagyobb logikusa, 1931-es cikkének megjelenése a matematikai logika történetének egyik fordulópontja. Bizonyítást nyer itt, hogy az axiomatikus módszer nem "mindenható": az aritmetikát is magukba foglaló rendszerekről kiderül, hogy mindig akad bennük olyan állítás, amely a rendszer keretei között nem bizonyítható és nem is cáfolható, sőt a rendszer ellentmondás-mentessége sem.
Smullyan, akinek nevét a Mi a címe ennek a könyvnek, A hölgy vagy a tigris és a Seherezádé rejtélye című nagysikerű kötetek szerzőjeként ismertük meg, a tőle megszokott világos, élvezetes stílusban nyújt bevezetést a logika ezen központi témakörébe. Nem csupán Gödel eredeti gondolatmenetét követhetjük nyomon, de megismerkedhetünk az eredmények különböző általánosításaival is. Külön figyelmet érdemel az utolsó fejezet, amelyben színre lépnek a szerző kedvenc szereplői - lovagok, lókötők, sámánok - is, a logikai fejtörők pedig az eredmények újragondolására és további általánosításra sarkallnak. A kötet anyagának jelentős része magyar nyelven először jelenik meg, a szerző azonban a már ismert bizonyítások helyett is új, egyszerűbb gondolatmeneteket mutat be. A tanulást számos feladat segíti.
condition: | |
category: | Books > Natural Sciences > Mathematics, Physics, Astronomy > |
publisher: | Typotex, 2006 |
item number / ISBN: | 9789639548985 |
binding: | paperback |
pages: | 165 |
language: | Hungarian |