Archivportal-D

Refine search

Only with digitized media

Archives + Holdings
- Federal state
  - Baden-Württemberg
    ×
  - Bayern
    ×
  - Berlin
    ×
  - Brandenburg
    ×
  - Bremen
    ×
  - Hamburg
    ×
  - Hessen
    ×
  - Mecklenburg-Vorpommern
    ×
  - Niedersachsen
    ×
  - Nordrhein-Westfalen
    ×
  - Rheinland-Pfalz
    ×
  - Saarland
    ×
  - Sachsen
    ×
  - Sachsen-Anhalt
    ×
  - Schleswig-Holstein
    ×
  - Thüringen
    ×
- Sector
  - State archives
    ×
  - Local archives
    ×
  - Church archives
    ×
  - Nobility and family archives
    ×
  - Business archives
    ×
  - Archives of parliaments, political parties, foundations and associations
    ×
  - Media archives
    ×
  - Archives of universities and scientific institutions
    ×
  - Other archives
    ×
- Archive
- Archive der Universität Konstanz (2275)
Filters
- Inclusive dates
  From
  
  1.
  
  2.
  
  3.
  
  4.
  
  5.
  
  6.
  
  7.
  
  8.
  
  9.
  
  10.
  
  11.
  
  12.
  
  13.
  
  14.
  
  15.
  
  16.
  
  17.
  
  18.
  
  19.
  
  20.
  
  21.
  
  22.
  
  23.
  
  24.
  
  25.
  
  26.
  
  27.
  
  28.
  
  29.
  
  30.
  
  31.
  
  January
  
  February
  
  March
  
  April
  
  May
  
  June
  
  July
  
  August
  
  September
  
  October
  
  November
  
  December
  To
  
  1.
  
  2.
  
  3.
  
  4.
  
  5.
  
  6.
  
  7.
  
  8.
  
  9.
  
  10.
  
  11.
  
  12.
  
  13.
  
  14.
  
  15.
  
  16.
  
  17.
  
  18.
  
  19.
  
  20.
  
  21.
  
  22.
  
  23.
  
  24.
  
  25.
  
  26.
  
  27.
  
  28.
  
  29.
  
  30.
  
  31.
  
  January
  
  February
  
  March
  
  April
  
  May
  
  June
  
  July
  
  August
  
  September
  
  October
  
  November
  
  December
  Restrict to
  
  Extended
  
  Exact
- Document type
- Provenance
- Location
- Person/Organization
- Keyword
- Level of description
- Media type
- Usability
Online Collections
- Urkunden der Pfalzgrafen
  
  Rechte Gewalt
  
  Weimar Republic
  
  Wiedergutmachung

search results

1 - 100 of 151

Sort by

Modal language of provability logic

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-7
Explicit mathematics and explicit metamathematics

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-7
Memo on - what is sometimes called - A Broader View, here applied to Proofs in Mathematics

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-48
Troelstra/van Dalen,. Construcivism in mathematics. An introduction, 1988

[ca. 1989], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-1
Background: Review with a twist

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-2
Foundational and scientific argument: a contrast

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-52
Introduction: academic and non-academic options for using one's logical education

[ca. 1988], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-1
On the film. Wittgenstein

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-65
Mathematical knowledge

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-16
Memo after a couple of lectures by Bellin, on Girard's (paper LL). Linear Logicand on Ketonen's...

1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-18
Von den Grundlagen zur Technologie

1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-13
Emprical evidence: using logical experience for learning about - certain aspects of - the commerce...

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-84
Reminiscences about Hilbert's ε-calculus

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-38
The cardinal sin of senility: putting everything in a NUTSHELL

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-19
Suitable data in the area around ε-derivations

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-58
Anmerkungen zu. What Mad Pursuitvon Francis Crick

1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-22
The greatest good for the greatest number

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-5
Preface: achievements of mathematical logic

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-2
Some Problems (a little off the beaten track)

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-43
Notes for a preface to Occasional Essays

Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-9
Afterthoughts on Odifreddi's editing

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-28
Another trick(y) question: Which way does ⇔ point?

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-44
Austins's unflinching convictions or Stuart Hamphire's blind admiration for lack of second thoughts

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-101
The source(s) of morality

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-91
Memo suggested by recent results of M. Baaz

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-53
More about approximating continuous functions

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-35
Set-theoretic foundations and Hilbert's program: Restating a conflict

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-3
Premature quantification: some reminders

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-17
Abstractions related to mental processes

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-18
An Imagined Conversation with Crick

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-68
Odifreddi's editing and the American Dream

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-29
Mathematical logic: background

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-6
The business of and with truth in mathematics

Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-79
(Primitive) Recursiveness and the dictum: le côté les moins intéressant

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-61
Bourbaki's Foundations: (re)viewed after some 5 decades

2004, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-107
Preface: logical foundations

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-5
Zur Metapher von der Logik als - Grammatik einer - Sprache für die abstrakte Mathematik

2001-2002, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-104
More (on) convergence

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-9
Realizing limitations of one's resources: a potential for relief from malaise

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-88
Sums of squares: (nearly) 40 years after Cornell

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-70
Rezensionen

Archive der Universität Konstanz
Preface: To be used in the introductions of various chapters and sections

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-5
Yukami's 'Trick'

1988, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-19
A couple of neglected distinctions

1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-87
Church's Thesis: a jeu d'esprit?

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-20
Vorwort und Notizen zum Vorwort (für ein Buch mit übersetzten Artikeln)

1993, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-8
Socalled self-referential paradoxes

1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-14
Commerce of ideas: an example

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-62
3 Styles of conversation

1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-94
Rekursiv und algorithmisch

[ca. 1986], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-15
Luckhardt, Theor. Comput. Sci. 83 (1991)

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-4
Van Heijenoort's taste for (tacitly, suitable) attention to (suitable) vagaries

2011, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-113
Appendix: ω-consistency and related topics

[ca. 1971], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-2
Philosophers

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-4
On a non-academic option for using one's logical education

1994-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-83
Grundlagen der Mathematik

1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-12
Erläuterungen und Vermutungen betr. das Schließen

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-33
Reminders around implicit definitions

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-41
On the idea(l) of logical closure

1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-26
Formal precision: after 25 years

Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-81
Preface: mathematical logic

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4
Aspects of infinity

2009, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-112
Herbrand's rules and Hilbert's ε-substitution method(s): some non-mathematical aspects

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-57
Preliminary Notes to "Second thoughts around some of Gödels's writings", Teilstücke

1994-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-13
Detlefsen, J. of Phil. Logic 19 (1990)

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-3
Interim reflections on the project

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-8
Zur Metapher von der Logik als - Grammatik einer - Sprache für die abstrakte Mathematik

2003, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-20
Refuting (strong) AI on its own terms

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-39
Cut-free proofs: a (still) neglected aspect

1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86
The traditional preoccupation of logic: truth (validity)

[ca. 2005], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-109
Personal hygiene, public sanitation and fertility

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-93
A short thought and 2 conflicting interpretations

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-89
Analogies in contemporary mathematics

[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-37
Memo on a longshot: linear wordequations in semigroups

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-30
PS to [BW]

2004, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-106
A reminder of empircal facts balancing any dangers of (Wittgenstein's) bewitchments

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-50
Empirical evidence: curiosities

1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-85
A few (immediate) reactions to reading Some strangeness in the proportion

[ca. 1980], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-1
Note X on empircial evidence: cross purposes

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-76
Preface: logical foundations

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-3
A (by me) so far neglected question: the statistical distribution of malaise

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-73
Republishing (my) articles and/or essays

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-34
Foundational and scientific argument

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-51
Preface für ein Buchprojekt mit übersetzten Artikeln aus den später 1970ern bis 1980er Jahren

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-7
About and around Turing's test

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-46
6. A comment and a disclaimer

1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-15
Angemessene (Beschreibungen von) Kategorien: entsprechende Ansprüche

[ca. 1991], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-36
Imagination and fancy

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-90
Notes on the Nobel Prize Lectures by Wigner and Feynman

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-95
Suitable kinds and degreees of precision I

1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-25
Opportunities for empirical evidence IX

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-75
Some additional problems (for the same general purpose as Friedman's list [JSL 40 (1975) 114-126].

1976, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-11
Diversity: some half forgotten episodes

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-82
Milk sop and hard core foundations

[ca. 1998], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-99
'Treason' rhymes with 'reason'. (Second thoughts on the piece by Barwise)

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-63
A practical perspective on a pious precept

1993, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-67
Stichworte

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-56
Besprechung J. Hintikka

[ca. 1993], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-5
Model theoretic hygiene

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-3
A relation between 2 declarations of A. Weil

2005, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-108

search results

1 - 100 of 151

Sort by

Your search has not returned any results.

Login

Sign up here.

Reset password

Search for

Refine search