Information: Software-Patente unter der Lupe [4]
Der nachfolgende Text ist noch nicht vollkommen fertig gestellt.
Dennoch sei der erste Ansatz hier schon mal veröffentlicht.
Theorie: Einfache Version mit Bildern
Klicken Sie auf den obigen Link, um die weitere Analyse anzuzeigen.
Theorie: Mathematische Beweisführung
Klicken Sie auf den obigen Link, um die weitere Analyse anzuzeigen.
[BAR81] Barendregt, H.P.: The Lambda-Calculus - Its Syntax and Semantics.
Amsterdam: North-Holland, 1981.
[BAR90] Barendregt, H.P.: Functional Programming and Lambda-Calculus.
Siehe dort in [LEE90], pp. 321-363.
[CHU36] Church, Alonzo: An Unsolvable Problem of Elementary Number theory.
American Journal of Mathematics 58, 354-363, 1936.
[CHU41] Church, Alonzo: The Calculi of Lambda Conversion. Princeton, NJ:
Princeton University Press, 1941.
[DTV74] dtv-Atlas zur Mathematik: Grundlagen Algebra und Geometrie,
Tafeln und Texte, Band 1, Deutscher Taschenbuch Verlag GmbH & Co. KG, München, 1974.
[ERD22] Erdmann, Karl Otto: Die Bedeutung des Wortes, Aufsätze aus dem
Grenzgebiet der Sprachpsychologie und Logik, Leipzig, 1922
[ERW99] Erwig, Martin: Grundlagen funktionaler Programmierung / von Martin Erwig. -
München; Wien: Oldenbourg, 1999, ISBN 3-486-25100-7
[HOP79] John E. Hopcroft, Jeffrey D. Ullman: Introduction to automata theory,
languages and computation, Addison-Wesley, 1979, §8.4
[LEE90] van Leeuwen, J. (Ed.): Handbook of Theoretical Computer Science,
Vol. B: Formal Methods and Semantics. Amsterdam: Elsevier Science Publishers, 1990.
[RIC53] Rice, H.G.: Classes of recursively enumerable sets and their decision
problems, Trans. AMS. 89 (1953), 25-59
[RIC56] Rice, H.G.: On completely recursively enumerable classes and their key
arrays, J. Symb. Logic 21 (1956), 304-341
[SOEUR] M.H.B. Sørensen, P. Urcykcyn: Lectures on the Curry
Howard Isomorphism.
[TUR37] Turing, Alan M.: Computability and -Definability,
Journal of Symbolic Logic 2, 1937.
[TUR87] Turing, Alan M.: Intelligence Service: Schr./Alan M. Turing.
(Hrsg. v. Bernhard Dotzler u. Friedrich Kittler). Berlin: Brinkmann & Bose, 1987,
ISBN 3-922660-22-3
[WRG86] Whitehead, Alfred North; Russell, Bertrand; Gödel, Kurt (1986): Principia Mathematica:
Vorwort und Einleitungen / Alfred North Whitehead; Betrand Russell. Übers. von Hans Mokre.
Mit einem Beitrag von Kurt Gödel. - 3. Aufl. - Frankfurt am Main : Suhrkamp, 1994
(Suhrkamp-Taschenbuch Wissenschaft ; 593) Einheitsacht.: Principia Mathematica <dt.>
ISBN 3-518-28193-3
|