Foto dell'editore

Logic, Meaning and Computation

C. Anthony Anderson

Editore: Springer-Verlag Gmbh Jan 2002, 2002
ISBN 10: 140200141X / ISBN 13: 9781402001413
Nuovi / Condizione: Neu
Quantità: 1
Da Rhein-Team Lörrach Ivano Narducci e.K. (Lörrach, Germania)
Copie del libro da altre librerie
Mostra tutte le  copie di questo libro
Aggiungere al carrello
Prezzo: EUR 306,02
Convertire valuta
Spedizione: EUR 12,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Lista dei preferiti

Libro

Dati bibliografici


Titolo: Logic, Meaning and Computation

Casa editrice: Springer-Verlag Gmbh Jan 2002

Data di pubblicazione: 2002

Legatura: Buch

Condizione libro: Neu

Descrizione:

Neuware - Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called ' C h u r c h ' s Theorem ', that there is no decision procedure forthelogical valid ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid . 627 pp. Englisch. Codice inventario libreria 9781402001413

Su questo libro:

Book ratings provided by Goodreads):
0 valutazione media
(0 valutazioni)

Riassunto: Alonzo Church was undeniably one ofthe intellectual giants of theTwenti­ eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid­ ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid .

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Info su libreria e pagamento

Metodi di pagamento

La libreria accetta i seguenti metodi di pagamento:

  • American Express
  • Assegno
  • Carte Bleue
  • Mastercard
  • PayPal
  • Visa

[Cercare nel catalogo della libreria]

[Tutti i libri della libreria]

[Fare una domanda alla libreria]

Libreria: Rhein-Team Lörrach Ivano Narducci e.K.
Indirizzo: Lörrach, Germania

Libreria AbeBooks dal: 11 gennaio 2012
Valutazione libreria: 5 stelle

Condizioni di vendita:

Allgemeine Geschäftsbedingungen (abebooks.de)

Rhein-Team Lörrach, Inhaber Ivano Narducci e.K., Mühlestr. 1
D-79539 Lörrach, nachfolgend als Verkäufer bezeichnet.

§ 1 Allgemeines, Begriffsbestimmungen

(1) Der Verkäufer bietet unter dem Nutzernamen rhein-team unter der Plattform abebooks.de insbesondere Bücher an. Die folgenden Allgemeinen Geschäftsbedingungen (AGB) gelten für die Geschäftsbeziehung zwischen dem Verkäufer und dem Kunden in ihrer zum Zeitpunkt der Bestellung gültigen Fassung. Ferne...

[Ulteriori informazioni]

Condizioni di spedizione:

Die Ware wird innerhalb von 1-3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbestätigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten für 1 kg schwere Bücher. Über abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verkäufer informiert.


Informazioni dettagliate sul venditore