In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding.
Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel''s response to Church''s and Turing''s proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel''s influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics.
Contributors
Scott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J. Posy, Hilary Putnam, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Robert I. Soare, Umesh V. Vazirani
In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding.
Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel''s response to Church''s and Turing''s proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel''s influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics.
Contributors
Scott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J. Posy, Hilary Putnam, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Robert I. Soare, Umesh V. Vazirani
Prisen for levering afhænger af typen af dit medlemskab, eller om du ikke har et medlemskab.
Hvis du ikke har et medlemsskab er priserne som følger:
Levering til pakkeshop | 39,95 kr. pr. ordre |
Hjemmelevering | 59,90 kr. pr. ordre |
Med et guldmedlemsskab er leveringspriserne:
Levering til pakkeshop. Ordrer under 250 kr. | 34,95 kr. pr. ordre |
Levering til pakkeshop. Ordrer over 250 kr. | 24,95 kr. pr. ordre |
Hjemmelevering. Ordrer under 250 kr. | 59,90 kr. pr. ordre |
Hjemmelevering. Ordrer over 250 kr. | 49,90 kr. pr. ordre |
Med et plating- eller streaming medlemsskab er leveringspriserne:
Levering til pakkeshop. Ordrer under 250 kr. | 24,95 kr. pr. ordre |
Levering til pakkeshop. Ordrer over 250 kr. | 0 kr. pr. ordre |
Hjemmelevering. Ordrer under 250 kr. | 44,90 kr. pr. ordre |
Hjemmelevering. Ordrer over 250 kr. | 19,95 kr. pr. ordre |
Bemærk venligst, at vi forbeholder os retten til at ændre i et fragtbeløb efter ordreafgivelse, hvis man som kunde har opnået en særlig fragtpris pga. køb for over 250 kr. og efterfølgende retter i sin ordre, så ordrebeløbet kommer under 250 kr. Ovenstående fragtpriser for ordrer under 250 kr. vil i så fald være gældende.
Levering
Varerne sendes indenfor 1-6 hverdage. Den konkrete leveringstid står oplyst ved hver enkelt vare. Levering sker med PostNord eller DAO distribution. Vi leverer kun i Danmark og ikke til Grønland og Færøerne.
Vær opmærksom på, at DAO ofte leverer om natten, og at der ikke skal kvitteres for modtagelse af pakken fra DAO. Hvis ikke DAO kan levere pakken forsvarligt ved dør eller i postkasse,
vil pakken i stedet blive leveret til nærmeste pakkeshop, også selvom du har betalt for hjemmelevering.