SØG - mellem flere end 8 millioner bøger:
Viser: Gödel's Disjunction - The Scope and Limits of Mathematical Knowledge
Gödel's Disjunction Vital Source e-bog
(2016)
Oxford University Press
744,00 kr.
669,60 kr.
Leveres umiddelbart efter køb
Gödel's Disjunction Vital Source e-bog
Leon Horsten og Philip Welch
(2016)
Oxford University Press
645,00 kr.
Leveres umiddelbart efter køb
Gödel's Disjunction Vital Source e-bog
(2016)
Oxford University Press
899,00 kr.
809,10 kr.
Leveres umiddelbart efter køb
Søgbar e-bog
Gödel's Disjunction Vital Source e-bog
Leon Horsten og Philip Welch
(2016)
Oxford University Press
992,00 kr.
Leveres umiddelbart efter køb
Gödel's Disjunction
The Scope and Limits of Mathematical Knowledge
Leon Horsten og Philip Welch
(2016)
Oxford University Press, Incorporated
1.510,00 kr.
Print on demand. Leveringstid vil være ca 2-3 uger.
Detaljer om varen
- 1. Udgave
- Vital Source 365 day rentals (dynamic pages)
- Udgiver: Oxford University Press (September 2016)
- ISBN: 9780191077692R365
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Gödel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.
Licens varighed:
Bookshelf online: 365 dage fra købsdato.
Bookshelf appen: 365 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Bookshelf online: 365 dage fra købsdato.
Bookshelf appen: 365 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Vital Source 180 day rentals (dynamic pages)
- Udgiver: Oxford University Press (September 2016)
- Forfattere: Leon Horsten og Philip Welch
- ISBN: 9780191077692R180
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Gödel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.
Licens varighed:
Bookshelf online: 180 dage fra købsdato.
Bookshelf appen: 180 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Bookshelf online: 180 dage fra købsdato.
Bookshelf appen: 180 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Vital Source 1460 day rentals (dynamic pages)
- Udgiver: Oxford University Press (September 2016)
- ISBN: 9780191077692R1460
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Gödel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.
Licens varighed:
Bookshelf online: 1460 dage fra købsdato.
Bookshelf appen: 1460 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Bookshelf online: 1460 dage fra købsdato.
Bookshelf appen: 1460 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- 1. Udgave
- Vital Source searchable e-book (Reflowable pages)
- Udgiver: Oxford University Press (September 2016)
- Forfattere: Leon Horsten og Philip Welch
- ISBN: 9780191077692
The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Gödel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.
Licens varighed:
Bookshelf online: 365 dage fra købsdato.
Bookshelf appen: ubegrænset dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Bookshelf online: 365 dage fra købsdato.
Bookshelf appen: ubegrænset dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Hardback: 288 sider
- Udgiver: Oxford University Press, Incorporated (Oktober 2016)
- Forfattere: Leon Horsten og Philip Welch
- ISBN: 9780198759591
To what extent can we hope to find answers to all mathematical questions? A famous theorem from Gödel entails that if our thinking capacities do not go beyond what an electronic computer is capable of, then there are indeed absolutely unsolvable mathematical problems. Thus it is of capital importance to find out whether human mathematicians can outstrip computers. Within this context, the contributions to this book critically examine positions about thescope and limits of human mathematical knowledge.
Algorithm, consistency and epistemic randomness1. ALGORITHMS AND THE MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, Dean2. THE SECOND INCOMPLETENESS THEOREM REFLECTIONS AND RUMINATIONS, Visser3. ITERATED DEFINABILITY, LAWLESS SEQUENCES AND BROUWER'S CONTINUUM, Moschovakis4. A SEMANTICS FOR IN PRINCIPLE PROVABILITY, AchouriotiMind and Machines5. Collapsing Knowledge and Epistemic Church's Thesis, Carlson6. G odel's Disjunction, Koellner7. Idealization, mechanism, and knowability, ShapiroAbsolute Undecidability8. PROVABILITY, MECHANISM AND THE DIAGONAL PROBLEM, Leach-Krouse9. Absolute Provability and Safe Knowledge of Axioms, Williamson10. Epistemic Church's Thesis and Absolute Undecidability, Antonutti, Horsten
De oplyste priser er inkl. moms
Butikker og åbningstid
Handler du som firma
Forretningsbetingelser
Porto og forsendelse
Data & cookiepolitik
Handler du som firma
Forretningsbetingelser
Porto og forsendelse
Data & cookiepolitik
Polyteknisk Boghandel og Forlag A/S - Anker Engelundsvej 1 - 2800 Lyngby
Tlf 77 42 43 44 - email poly@polyteknisk.dk - CVR 34072655 - Sydbank Reg: 6748 Konto 0001107927
Tlf 77 42 43 44 - email poly@polyteknisk.dk - CVR 34072655 - Sydbank Reg: 6748 Konto 0001107927