Logic, Meaning and Computation 70174 Stuttgart Aufgrund der Globalisierung

Aufgrund der Globalisierung

Interaction -

warum man zu diesem Ergebnis gekommen ist

3Zwei Beispiele aus der Praxis

Logic, Meaning and Computation 70174 Stuttgart Aufgrund der GlobalisierungAlonzo 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