Information: Software-Patente unter der Lupe [4]

4 Theoretische Behandlung von Software-Patenten

Der nachfolgende Text ist noch nicht vollkommen fertig gestellt.
Dennoch sei der erste Ansatz hier schon mal veröffentlicht.

4.1 Einfache Version mit Bildern

Theorie: Einfache Version mit Bildern
Klicken Sie auf den obigen Link, um die weitere Analyse anzuzeigen.

4.2 Mathematische Beweisführung

Theorie: Mathematische Beweisführung
Klicken Sie auf den obigen Link, um die weitere Analyse anzuzeigen.

4.3 Quellenverzeichnis

[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