Mathematischer Logiker (20. Jahrhundert)

Quelle: Wikipedia. Seiten: 114. Kapitel: Alan Turing, Kurt Gödel, Ludwig Wittgenstein, Bertrand Russell, Claude Elwood Shannon, Jan Lukasiewicz, Gregory Chaitin, David Hilbert, Alonzo Church, Frank Plumpton Ramsey, Alfred North Whitehead, Luitzen Egbertus Jan Brouwer, Paul Lorenzen, Andrei Nikolajewitsch Kolmogorow, Gerhard Gentzen, Wilhelm Ackermann, Alfred Tarski, Oskar Becker, Ernst Zermelo, Albert Thoralf Skolem, Jules Richard, Dana Scott, Julia Robinson, Adolf Abraham Halevi Fraenkel, Jean Van Heijenoort, Hans Hermes, Stephen Cole Kleene, Lotfi Zadeh, Raymond Smullyan, Emil Leon Post, Jon Barwise, Paul Bernays, Jerzy Rózycki, Harvey Friedman, Martin Davis, John McCarthy, Anatoli Iwanowitsch Malzew, Petr Vopenka, Alexander Jessenin-Wolpin, John Barkley Rosser, Siegfried Gottwald, Kurt Grelling, Richard Montague, Penelope Maddy, Lenore Blum, Jehoschua Bar-Hillel, Paul Cohen, Solomon Feferman, Gisbert Hasenjaeger, Christian Thiel, Martin Löb, Haskell Brooks Curry, Henryk Zygalski, Saharon Shelah, John Venn, Anand Pillay, Iwan Iwanowitsch Schegalkin, Stanislaw Lesniewski, Robert Vaught, Azriel Levy, Robin Gandy, Zlil Sela, Walter Felscher, Donald A. Martin, Wilfrid Hodges, Wanda Szmielew, Jacques Herbrand, Per Martin-Löf, Wolfgang Rautenberg, Leopold Löwenheim, Alex Wilkie, Heinz-Dieter Ebbinghaus, Menachem Magidor, Stephen G. Simpson, Ralph McKenzie, Richard A. Shore, Sy Friedman, Yiannis N. Moschovakis, Moses Schönfinkel, Carol Karp, Waleri Iwanowitsch Gliwenko, Wolfram Schwabhäuser, Helmut Thiele, Boris Zilber, Curt Christian, Walter Savitch, Gregory Hjorth, Günter Asser, Alexander S. Kechris, Ehud Hrushovski, Tadeusz Czezowski, Joseph R. Shoenfield, Theodore A. Slaman, Bjarni Jónsson, Heinrich Behmann, Harald Ganzinger, Angus Macintyre, William Alvin Howard, John R. Steel, Arend Heyting, Peter Aczel, Henry Gordon Rice, Karl Schröter, Leo Harrington. Auszug: Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; + 30. Dezember 1947 in Cambridge (Massachusetts)) war ein britischer Philosoph und Mathematiker. Bekannt wurde Alfred Whitehead durch das Standardwerk "Principia Mathematica" über Logik, das er zusammen mit seinem langjährigen Schüler und Freund Bertrand Russell zwischen 1911 und 1913 in drei Bänden veröffentlichte. Es stellte den Versuch dar, im Sinne des logizistischen Programmes alle wahren mathematischen Aussagen und Beweise auf eine symbolische Logik zurückzuführen. Obwohl ein geplanter vierter Band nicht mehr veröffentlicht wurde und die Frage, ob der Versuch selbst erfolgreich war, weiterhin kontrovers diskutiert wird, wurde "Principia Mathematica" zu einem der einflussreichsten Bücher der Geschichte der Mathematik und Logik. In seiner Londoner Zeit von 1911 bis 1924 machte Whitehead sich einen Namen als Naturphilosoph, als Wissenschaftstheoretiker, als Kritiker der Ausbildung an Großbritanniens Universitäten und als Autor mehrerer Bücher über Erziehung. Nach seiner Berufung an die Universität Harvard im Jahr 1924 konnte er sich ganz der weiteren Ausarbeitung seiner prozessphilosophischen Metaphysik widmen. Als sein philosophisches Hauptwerk gilt "Process and Reality" (1929), in dem er seiner "Philosophy of Organism" die Form gab, die später auch zur Grundlage der Prozesstheologie wurde. Darin strukturiert er auf der Grundlage der Rationalität und Kohärenz die Wirklichkeit als einen Organismus, der sich in elementaren Ereignissen vollzieht und sich in einer evolutionären Entwicklung befindet. Obwohl die philosophi...