Presses Universitaires du Septentrion
onixsuitesupport@onixsuite.com
20240329T0446Z
fre
COM.ONIXSUITE.9782859396046
03
01
Presses Universitaires du Septentrion
01
SKU
650
02
2859396047
03
9782859396046
15
9782859396046
02
01
00
BC
01
9.45
in
02
6.30
in
08
21.38
oz
01
24
cm
02
16
cm
08
606
gr
10
02
1258116X
01
02
Histoire des sciences
01
01
Le
Constructivisme non standard
1
A01
01
Onixsuite Contributor ID
8067
Jean-Michel Salanskis
Salanskis, Jean-Michel
Jean-Michel
Salanskis
1
01
fre
00
352
03
10
SCI034000
24
Septentrion Internet hierarchy
Epistémologie
24
Septentrion Internet hierarchy
Philosophie
29
2012
3052
Mathématiques
93
PDX
01
05
03
00
Ce livre est une présentation synthétique d'un certain nombre de travaux mathématiques contemporains s'inscrivant dans le cadre de l'analyse non standard, et en même temps l'exposition d'une conception originale des fondements des mathématiques prenant cette présentation comme illustration et point d'appui.
02
00
Ce livre est une présentation synthétique d'un certain nombre de travaux mathématiques contemporains s'inscrivant dans le cadre de l'analyse non standard, et en même temps l'exposition d'une conception originale des fondements des...
04
00
1 La situation modèle-théorique<br>1.1 Préhistoire .<br>1.2 La théorie des modèles <br>1.2.1 La définition récursive de la satisfaction et de la vérité<br>1.2.2 Sémantique et dogme ensembliste : versions du concept de modèle <br>1.3 Objectivité corrélative, constructive . <br>1.3.1 La distinction .<br>1.3.2 Effets "paradoxaux" <br><br>2 Robinson<br>2.1 Modèle-complétude et forcing<br>2.1.1 Persistance, diagramme, modèle-complétude.<br>2.1.2 Modèle-complétude et forcing.<br>2.1.3 Lien avec la situation modèle-théorique <br>2.2 Logique et arithmétique non standard <br>2.2.1 Des L-entités aux L'-entités <br>2.2.2 Sémantique interne, sémantique externe <br>2.2.3 Quelques enseignements<br>2.3 L'ANS robinsonienne.<br>2.3.1 La possibilité du non standard <br>2.3.2 La notion d'élargissement et le transfert <br>2.3.3 Pratique et développement de l'analyse non standard robinsonienne.<br><br>3 Théories non standard<br>3.1 Enjeu <br>3.2 IST <br>3.2.1 Le fini dans IST<br>3.2.2 Les pouvoirs d'IST<br>3.3 Kreisel<br>3.4 Hrbacek<br>3.5 RIST<br>3.6 ZFL<br>3.7 Conclusion<br><br>4 Approche arithmétique<br>4.1 Laugwitz, Reeb, Liu <br>4.1.1 Le -calcul<br>4.1.2 "Les naïfs ne remplissent pas N" <br>4.1.3 Liu <br>4.2 Le modèle de Harthong <br>4.3 Calculs entiers, géométrie discrète <br>4.4 Fondements du continu-discret <br>4.4.1 Le fini, l'exponentielle, la prédicativité <br>4.4.2 Maîtrise des types <br><br>5 Asymptotique et Probabilités<br>5.1 Probabilités non standard <br>5.1.1 La mesure de Loeb <br>5.1.2 La théorie "radicalement élémentaire" d'E. Nelson<br>5.2 L'asymptotique non standard <br><br>6 Un Constructivisme infinitaire<br>6.1 Les idées de Reeb et le constructivisme <br>6.1.1 Panorama d'ensemble<br>6.1.2 Le constructivisme NS et le programme de Feferman <br>6.2 Constructivisme clandestin <br>6.2.1 Quelques aspects du renvoi au souci constructif <br>6.2.2 Le programme de recherche des années glorieuses <br>6.3 Constructivisme et Infinitarisme <br>6.3.1 Signification philosophique du constructivisme et du constructivisme non standard <br>6.3.2 Le traitement gödélien de l'inaccessible<br>6.3.3 L'au-delà et sa médiation<br><br>A Reeb (1979)<br>A.1 Introduction .<br>A.2 - N vu à partir du constat Q<br>A.3 De la droite réelle R <br>A.4 Fonctions de R dans R<br>A.5 Lunettes ou loupes, <br>A.6 Équations différentielles <br>A.7 Réflexions sur l'analyse non standard (I.S.T.)<br>A.8 Quelques documents, parmi d'autres, à l'appui de Q<br><br>B Glossaire<br>B.1 Algèbre, o-algèbre, tribu, espace mesurable : <br>B.2 Algorithme de résolution : <br>B.3 Axiomes de la théorie des ensembles <br>B.4 BHK-explication :<br>B.5 Boréliens : <br>B 6 Cardinal inaccessible :<br>B.7 Champ de vecteurs, trajectoires, flot :<br>B.8 Compacité (logique) :<br>B.9 Complétude syntaxique, sémantique :<br>B.10 Diagramme d'un modèle :<br>B.11 Difféomorphisme : <br>B.12 Élargissement :<br>B.13 Espaces de Hilbert :<br>B.14 Espaces vectoriels topologiques : <br>B.15 Espérance mathématique ou moyenne. <br>B.16 Extension conservative : <br>B.17 Extension d'un modèle : <br>B.18 Extensions, clôtures algébriques : <br>B.19 Fonction gaussienne, <br>B.20 Fonctions continues dans IST : <br>B.21 Fonctions récursives primitives : <br>B.22 Forcing chez Cohen : <br>B.23 Forme prénexe, normale, matrice : <br>B.24 Forme quadratique :<br>B.25 Formules <br>B.26 Formules , lI° de l'arithmétique <br>B.27 Galaxie principale : <br>B.28 Grands cardinaux :<br>B.29 Infinitésimaux robinsoniens : <br>B.30 Lemme de König : <br>B.31 Littéral : <br>B.32 Logique de Heyting : <br>B.33 Mesure, espace probabilisé : <br>B.34 Noeuds, foyers, points-selle :<br>B.35 Notation st : <br>B.36 Objets nommables, ensembles définissables : <br>B.37 Partition, pavé : <br>B.38 Prédicat T, symbole {} :<br>B.39 Prédicativité, imprédicativité : <br>B.40 Propriété presque sûre :<br>B.41 Quantification substitutionnelle : <br>B.42 Skolemisation :<br>B.43 Théorème d'Alaoglu :<br>B.44 Théorème de Caratheodory : <br>B.45 Théorème de complétude : <br>B.46 Théorème de Herbrand :<br>B.47 Théorème de Hilbert-Ackermann : <br>B.48 Théorème de Lebesgue :<br>B.49 Théorème de Radon-Nikodym : <br>B.50 Théorie EON :<br>B.51 Topoi, modèle dans un topos : <br>B.52 Transversalité :<br>B.53 Types, types finis : <br>B.54 Ultraproduit, ultrapuissance : <br>B.55 Uniforme continuité dans IST : <br>B.56 Univers de Herbrand :<br>B.57 Variable aléatoire : <br>B.58 Vocabulaire ou langage d'un modèle :
16
00
Dans cette collection, "sciences" est entendu au sens large, incluant par exemple la philosophie naturelle du Moyen Âge et de la Renaissance. C'est dire que sont plutôt recherchées les études mettant en évidence les rapports entre l'histoire des...
17
00
<p>Dans cette collection, "sciences" est entendu au sens large, incluant par exemple la philosophie naturelle du Moyen Âge et de la Renaissance. C'est dire que sont plutôt recherchées les études mettant en évidence les rapports entre l'histoire des sciences et l'histoire de la philosophie, plus généralement situant dans son contexte historique la pensée scientifique. C'est pourquoi, sans que soit exclue a priori l'approche externaliste, l'approche internaliste est plutôt privilégiée.</p> <p>Collection fondée en 1994, dirigée par Jean Celeyrette, aujourd'hui close.</p>
01
00
03
02
http://www.septentrion.com/resources/titles/27574100378040/images/da5da79fc8144f79ca907a04066edcd2/THUMBNAIL/9782859396046.jpg
09
00
03
02
01
D502
https://www.septentrion.com/resources/publishers/1.jpg
Presses Universitaires du Septentrion
01
01
Dilicom
SEPTENTRION
06
3052865310012
Presses Universitaires du Septentrion
01
www.septentrion.com/
http://www.septentrion.com/
01
19990101
11
19990101
01
WORLD
02
01
GCOI
27574100378040
WORLD
00
06
06
3012600500000
Sodis
33
www.sodis.fr/
http://www.sodis.fr/
29
http://www.sodis.fr/
01 1
20
18
20000101
02
02
28.96
01
R
5.50
27.45
1.51
EUR
WORLD
00
01
06
3012262710000
CID - Fondation MSH Distribution
33
www.cid-difusion.fr
http://www.cid-difusion.fr
29
http://www.cid-difusion.fr
01 1
20
18
20000101
02
02
28.96
01
R
5.50
27.45
1.51
EUR