Gödel's way : exploits into an undecidable world

Kurt Godel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory admits tim...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Chaitin, Gregory J., 1947- (Autor) 
Další autoři: Costa, Newton Carneiro Afonso, 1929-2024 (Autor) 
Dória, Francisco Antônio, 1945- (Autor) 
Korporace: Taylor & Francis eBooks (online služba) (Distributor) 
Médium: E-kniha
Jazyk:angličtina
Vydáno: Boca Raton ; London ; New York ; Leiden : CRC Press, 2011
Žánr/forma:monografie
elektronické knihy
ISBN:978-0-203-16957-5
9781136587597
9781136587634
9781136587641
9781138442061
9780415690850
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
LEADER 04014cam a22006017i 4500
001 001813979
003 CZ PrSTK
005 20220613163939.0
006 m f d
007 cr nn 008mamaa
008 180420t20112011xxu fo 000 0 eng d
020 |a 978-0-203-16957-5  |q (elektronická kniha) 
020 |z 9781138442061  |q (vázáno) 
020 |z 9780415690850  |q (brožováno) 
020 |a 9781136587597  |q (formát MOBI) 
020 |a 9781136587634  |q (formát EPUB) 
020 |a 9781136587641  |q (formát PDF) 
024 7 |a 10.1201/b11610  |2 doi 
035 |a (OCoLC)778448881 
040 |a ABA013  |b cze  |e rda 
044 |a xxu  |a xxk  |a ne 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a (048.8)  |2 MRF 
080 |a (0.034.2:08)  |2 MRF 
100 1 |a Chaitin, Gregory J.,  |d 1947-  |7 pna2015853949  |4 aut 
245 1 0 |a Gödel's way :  |b exploits into an undecidable world /  |c Gregory Chaitin, Newton da Costa & Francisco Antonio Doria 
246 3 |a Goedel's way :  |b exploits into an undecidable world 
246 3 |a Godel's way :  |b exploits into an undecidable world 
264 1 |a Boca Raton ;  |a London ;  |a New York ;  |a Leiden :  |b CRC Press,  |c [2011] 
264 4 |c ©2011 
300 |a 1 online zdroj (xxi, 138 stran) 
336 |a text  |b txt  |2 rdacontent 
337 |a počítač  |b c  |2 rdamedia 
338 |a online zdroj  |b cr  |2 rdacarrier 
500 |a A Balkema book 
504 |a Obsahuje bibliografii 
505 0 |a 1. Godel, Turing -- 2. Complexity, randomness -- 3. A list of problems -- 4. The halting function and its avatars -- 5. Entropy, P vs. NP -- 6. Forays into uncharted landscapes 
520 |a Kurt Godel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory admits time machines. The Godel incompleteness phenomenon - one cannot prove nor disprove all true mathematical sentences in the usual formal mathematical sentences - is frequently presented in textbooks as something that happens in the rarefied realms of mathematical logic, and that has nothing to do with the real world. Practice shows the contrary though; one can demonstrate the validity of the phenomenon in various areas, ranging from chaos theory and physics to economics and even ecology. In this lively treatise, based on Chaitin's groundbreaking work and on the da Costa-Doria results in physics, ecology, economics and computer science, the authors show that the Godel incompleteness phenomenon can directly bear on the practice of science and perhaps on our everyday life.This accessible book gives a new, detailed and elementary explanation of the Godel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities. Besides theory, the historical report and personal stories about the main character and on this book's writing process, make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer sciences. -- 
650 0 7 |a matematická logika  |x ma  |7 psh7096  |2 psh 
653 0 |a Gödelovy věty o neúplnosti 
653 0 |a Gödelovy věty 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
600 1 7 |a Gödel, Kurt,  |d 1906-1978  |7 jn20000602196  |2 czenas 
600 1 7 |a Turing, Alan Mathison,  |d 1912-1954  |7 jn19990008646  |2 czenas 
700 1 |a Costa, Newton Carneiro Afonso,  |d 1929-2024  |7 xx0209147  |4 aut 
700 1 |a Dória, Francisco Antônio,  |d 1945-  |7 ntk20191042171  |4 aut 
710 2 |a Taylor & Francis eBooks (online služba)  |7 ntk20191031486  |4 dst 
776 0 8 |i Tištěné vydání:  |t Gödel's way : exploits into an undecidable world  |z 9781138442061 
856 4 0 |u https://www.taylorfrancis.com/books/9781136587641  |y Plný text 
910 |a ABA013 
950 |a Taylor & Francis  |b 2018