Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration Bourbaki - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « G. Kreisel »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
G. J. Heckman < G. Kreisel < G. Pisier  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000102 (1998) G. Kreisel [Autriche]Second thoughts around some of Gödel's writings : A non-academic option

List of associated FC03.fr.i

Nombre de
documents		Descripteur
1Bourbaki (N.)
1Catégorie
1Cerveau
1Complétude
1Computation
1Connaissance
1Expérience
1Fondement
1Gödel (K.)
1Hilbert (D.)
1Incomplétude
1Logique
1Mathématiques
1Oeuvres complètes
1Ordinateur
1Preuve
1Quine (W. V. O.)
1Scientifique
1Spéculation
1Wittgenstein (L.)

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "G. Kreisel" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "G. Kreisel" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    G. Kreisel
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022