• The use of abstract language in elementary metamathematics: Some paedagogic examples

    1975, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-95

    ...Enthält: eine Kopie des zusammen mit G.E. Mints und S.G. Simpson publizierten Artikels "The use of abstract language in elementary metamathematics: Some paedagogic examples" aus:... ...Parikh, New York 1975 (Lecture Notes in Mathematics 453) Mints, G. E.; Mathematiker, 1939 - Simpson, Stephen G.; Mathematiker, 1945... ...... ...Mints, G. E.... ...Simpson, Stephen G....

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-10

    ...GK 1-10-5 enthält einen masch. Brief von Stephen G. Simpson vom 7.5.1981 an Dana Scott und eine Kopie der hs.... ...Mitteilung vom 9.3.1981 von Simpson an Kreisel. GK 1-10-18 enthält den Durchschlag eines masch. Briefes vom 27.4.1981 von Scott an Simpson und die Kopien von zwei... ...Ergänzung Mitteilung von Simpson an Kreisel vom 9.3.1981. Bei GK 1-10-20 und -21 handelt es sich um masch.... ...Hodgkin, Adam Jäger, Gerhard O'Conell, Joan Scott, Dana S. Simpson, Stephen G. (Stephen George), 1945 - Wrigley, Michael Beaumont...

  • Buchstabe S

    1984-2003, (2008), (2013), Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-59

    ....; Mathematiker, Hochschullehrer, 1946- Sieg, Wilfried; Philosoph, Mathematiker, 1945- Simpson, Alex K.; Informatiker Simpson, Stephen... ...Slater, Barry H.; 1936- Slater, John G.; Philosoph, 1930- Smith, Anthony; 1938- Smoryński, Craig; Mathematiker, 1947- Smullyan, Raymond M.; Mathematiker, Schriftsteller, 1919-2017... ...... ...Slater, John G., Philosoph... ...... ...Simpson, Alex K....

  • Kreisel letters

    1973-1977, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-4

    ...Briefe vom 7.4. und vom 19.4.1974 an Stephen G. Simpson, GK 1-4-120 ist ein hs. Entwurf zu einem Brief an Simpson und Craig... ...Scott, Dana S. (Dana Stewart) Simpson, Stephen G. (Stephen George), 1945 - Smorynski, C....

  • Foto-CD: Junior-8-Gipfel in Wismar 03.06.-07.06.2007 (angefertigt von Henry Herrmann, Eventpress)

    03.06.2007-07.06.2007, Stadtarchiv Wismar, 083

    .... - 120 Gesprächsrunde im Zeughaus (Extraraum) mit David Anthony, unter den Teilnehmerin Lorenzo Cinieri (links). - 121 Justin Simpson (Vorsitzender Morgan Stanley International... ..., an der Tafel Michelle Miki Nakajima und Gleb Nikitin. - 127 Gesprächsrunde im Zeughaus, darunter Luce-Fernande Yerimon, Alice... und Aminata Palmer. - 128 David Anthony im Gespräch im Zeughaus. -... ...Ulrike Fischer. - 134 Victor Karunan im Zeughaus. - 135 Betreuer im Gespräch, im Zeughaus. - 136 Thembi Ngubare mit grünem Computer. - 137 Gesprächsrunde im Zeughaus, an der Tafel Gleb Nikitin... ...und Benamare Ismahane. - 149 Betreuer beim Organisieren, darunter Andres Guerrero und Ravi Karkara. - 150 Gesprächsrunde im Zeughaus. - 151 Vortrag. - 152 Thesenpapiere. - 153 Teilnehmer an... ...Salwa Aman (Schal), Aminata Palmer (schwarze Mütze), Christine Claude Elong (Mitte schwarze Jacke), Adriana Sloovei (weiße Jacke), Fernanda Oliveda und Benamare Ismahane (beide hinten rechts). - 269...

  • MSS of Kreisel Reviews

    1952-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-16

    ...GK 2-16-20 ist das Typoskript einer Rezension des 1974 publizierten Artikels von Kreisel und G. Takeuti "Formally self-referential propositions for cut free classical analysis and... ...GK 2-16-27 ist die Rezension eines Artikel von G. Metakides/A. Nerode mit dem Titel "Recursion theory and algebra" (1975), GK 2-16-28 eine Selbstrezension des Artikels "A notion of... ...Es handelt sich um eine Rezension des Artikels "Degree theory on admissible ordinals" (1974) von Stephen G. Simpson. GK 2-16-31 ist der masch.... ...Moschovakis und demselben Autor zusammen mit Peter G. Hinman. GK 2-16-47 ist der hs. korrigierte Durchschlag eines Rezensionstyposkriptes....

Your search has not returned any results.