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

81 - 151 of 151

Sort by

A Neglected Aspect Of the Formalization Of Informal Mathematics

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-9
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
Reviews. Zentralblatt für Mathematik

1968-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-6
Notes for a preface to Occasional Essays

Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-9
Aspects of Herbrand's thèse: combinations with contemporary ideas and relations to foundational...

2008, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-111
Quotations and other references

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-17
Reminders around implicit definitions

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-41
Pour-El, Marian B./Richards J. Ian,. Computability in Analysis and Physics, 1989

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-2
Philosophers

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-4
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
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
About and around Turing's test

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-46
Publikationsanzeige: Logical aspects of computation

1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-23
On the idea(l) of logical closure

1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-26
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
Memo: A retrogressive tendency in the study of abstract logics

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-8
Meta-mathematics and meta-physics

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

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-20
A consumer's (re)view around higher infinities

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-97
Memo on Suitable Descriptions of, that is, notations for, Suitable Real Numbers in computation,...

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-47
Reminiscences about Hilbert's ε-calculus

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-38
General (negative) aspects of my writing

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-60
Manifesto

1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-92
Comments on Hilbert's substitution method

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-42
Musil's quip

[ca. 2008], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-21
Logische Grundl. & Wissenschaftstheorie

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-55
Refuting (strong) AI on its own terms

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-39
Memo to (1) Barwise, Schwichtenberg, Smorynski, Statman, Stavi, Troelstra and (2) Mints & Simpson

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-10
Metamathematical principles needed to establish closure properties of formal systems

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

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-17
Empirical facts about and around Wttgenstein's assumption of bewitchments

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-49
Memo on a question by Penrose

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-32
Milk sop and hard core foundations

[ca. 1998], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-99
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
Preface: logical foundations

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-3
Luckhardt, Theor. Comput. Sci. 83 (1991)

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-4-4
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
A tacit assumption about mathematical traditions

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-12
Structures r.c. dans des théories complètes

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-4
Dating manuscripts: an interim report

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

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-33
On speed up and some other (cl)aims of similar flavour

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-59
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
6. A comment and a disclaimer

1998, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-15
Abstractions related to mental processes

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-18
Notes on a neglected alternative to benevolent neglect: with special reference to the tradition(s)...

1994, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-72
Logical Aspects of Hilbert's 17th problem

1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-45
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
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
Erläuterungen und Vermutungen betr. das Schließen

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-54
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
Odifreddi's editing and the American Dream

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

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

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

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

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-6
Interim note: fnding topics for a subject of proofs

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-77
Personal hygiene, public sanitation and fertility

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-93
Interim reflections on the project

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-8
Republishing (my) articles and/or essays

1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-34
Memo on (glimpses of) a broader view

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

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

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-91
Modal language of provability logic

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-7
Around - not only - Wittgenstein's literary ambitions

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

o.D., Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-2-4
Background: teen age emotions recollected in prosaic tranquillity

1997, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-14
Grundlagen der Mathematik

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

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

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

1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-86

search results

81 - 151 of 151

Sort by

Your search has not returned any results.

Login

Sign up here.

Reset password

Search for

Refine search