|
|
|
|
LEADER |
00000cam a2200000Mu 4500 |
001 |
EBOOKCENTRAL_ocn914152627 |
003 |
OCoLC |
005 |
20240329122006.0 |
006 |
m o d |
007 |
cr |n||||||||| |
008 |
150801s2015 ie o 000 0 fre d |
040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d DEBSZ
|d YDXCP
|d OCLCQ
|d LOA
|d OCLCQ
|d YDX
|
019 |
|
|
|a 1374055550
|
020 |
|
|
|a 9782806630995
|
020 |
|
|
|a 2806630991
|
029 |
1 |
|
|a DEBSZ
|b 442864299
|
029 |
1 |
|
|a AU@
|b 000056108757
|
035 |
|
|
|a (OCoLC)914152627
|z (OCoLC)1374055550
|
050 |
|
4 |
|a BF456
|
082 |
0 |
4 |
|a 510
|
049 |
|
|
|a UAMI
|
100 |
1 |
|
|a Leclercq, Bruno.
|
245 |
1 |
0 |
|a Intuition et déduction en mathématiques.
|
260 |
|
|
|a Cork :
|b Primento Digital Publishing,
|c 2015.
|
300 |
|
|
|a 1 online resource (431 pages)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
588 |
0 |
|
|a Print version record.
|
505 |
8 |
|
|a Seconde réponse à l'antipsychologisme : la fondation de la logique normative dans une psychologie idéaliséeFranz Brentano : Fondement de la logique dans une psychologie " descriptive "; Bernard Bolzano : L'argument antipsychologiste de l'idéalité de la logique; Chapitre III Le logicisme; Gottlob Frege : Le projet idéographique; L'antipsychologisme; L'analyse logique au fondement de l'arithmétique; Bertrand Russell : L'extension du projet logiciste; Les paradoxes et la théorie des types; Rudolf Carnap : Logicisme et empirisme logique; Chapitre IVL'intuitionnisme.
|
505 |
8 |
|
|a Leopold Kronecker, Henri Poincaré, Émile Borel :Exigences de constructivité et de prédicativitéLuitzen Brouwer : Le libre développement de l'intuition mathématique; Herman Weyl : Du " continu " actuel clairsemé au riche continu potentiel; Arend Heyting : Faire de l'intuitionnisme un système formel?; Chapitre V Le formalisme; David Hilbert : L'axiomatique formelle (et non plus contentuelle); Mathématique formelle et métamathématique finitiste; Hermann Weyl : Légitimité des proposition " idéales " dans le système de la science.
|
505 |
8 |
|
|a Rudolf Carnap : Regard formaliste sur le logicisme et l'intuitionnismeFin des débats; Bibliographie; Dans la collection " Logiques et Systèmes "
|
505 |
0 |
|
|a Avant-propos; Chapitre I Intuition et déduction dans les mathématiques; René Descartes et Emmanuel Kant : Intuition mathématique et construction; Bernard Bolzano et les mathématiques du XIXe siècle : Déduction et calcul; Chapitre II Le psychologisme; David Hume : Genèse psychique des idées complexes; L'école empiriste-associationniste : Nécessité de l'habitude et légitimation empirique; Les sciences humaines et la genèse du transcendantal; Première réponse à l'antipsychologisme : un naturalisme non sceptique.
|
520 |
|
|
|a À la fin du XVIIIe siècle, Emmanuel Kant pouvait encore voir dans les mathématiques le modèle même des jugements synthétiques a priori, c'est-à-dire dotés d'un contenu intuitif propre quoique non dérivé de l'expérience sensible. Des géométries non-euclidiennes à la théorie des transfinis de Cantor, les mathématiques du XIXe siècle vont cependant faire triompher des systèmes mathématiques résolument déductifs et non plus intuitifs. Sur fond d'interrogations quant à la légitimité de ces développements récents, interrogations renforcées par la découverte de paradoxes, d'âpres débats vont alors o.
|
590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.;MATHEMATICS -- Infinity.;MATHEMATICS -- Logic.
|
650 |
|
4 |
|a Logic, Symbolic and mathematical.
|
650 |
|
4 |
|a MATHEMATICS
|x Infinity.
|
650 |
|
4 |
|a MATHEMATICS
|x Logic.
|
776 |
0 |
8 |
|i Print version:
|a Leclercq, Bruno.
|t Intuition et déduction en mathématiques.
|d Cork : Primento Digital Publishing, ©2015
|z 9782806630964
|
856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=2085873
|z Texto completo
|
938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL2085873
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 12528850
|
938 |
|
|
|a YBP Library Services
|b YANK
|n 304733549
|
994 |
|
|
|a 92
|b IZTAP
|