Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Intuition et déduction en mathématiques : retour au débat sur la "crise des fondements" / / Bruno Leclercq
| Intuition et déduction en mathématiques : retour au débat sur la "crise des fondements" / / Bruno Leclercq |
| Autore | Leclercq Bruno |
| Pubbl/distr/stampa | Bruxelles ; ; Fernelmont, [Belgium] : , : EME, , 2014 |
| Descrizione fisica | 1 online resource (431 p.) |
| Disciplina | 510 |
| Collana | Logiques et systèmes |
| Soggetto topico |
Mathematics - Philosophy
Intuition Logic |
| Soggetto genere / forma | Electronic books. |
| ISBN | 2-8066-3099-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto |
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
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 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 Rudolf Carnap : Regard formaliste sur le logicisme et l'intuitionnismeFin des débats; Bibliographie; Dans la collection « Logiques et Systèmes » |
| Record Nr. | UNINA-9910466783003321 |
Leclercq Bruno
|
||
| Bruxelles ; ; Fernelmont, [Belgium] : , : EME, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intuition et déduction en mathématiques : retour au débat sur la "crise des fondements" / / Bruno Leclercq
| Intuition et déduction en mathématiques : retour au débat sur la "crise des fondements" / / Bruno Leclercq |
| Autore | Leclercq Bruno |
| Pubbl/distr/stampa | Bruxelles ; ; Fernelmont, [Belgium] : , : EME, , 2014 |
| Descrizione fisica | 1 online resource (431 p.) |
| Disciplina | 510 |
| Collana | Logiques et systèmes |
| Soggetto topico |
Mathematics - Philosophy
Intuition Logic |
| ISBN | 2-8066-3099-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto |
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
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 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 Rudolf Carnap : Regard formaliste sur le logicisme et l'intuitionnismeFin des débats; Bibliographie; Dans la collection « Logiques et Systèmes » |
| Record Nr. | UNINA-9910796169603321 |
|
Leclercq Bruno
|
||
| Bruxelles ; ; Fernelmont, [Belgium] : , : EME, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intuition et déduction en mathématiques : retour au débat sur la "crise des fondements" / / Bruno Leclercq
| Intuition et déduction en mathématiques : retour au débat sur la "crise des fondements" / / Bruno Leclercq |
| Autore | Leclercq Bruno |
| Pubbl/distr/stampa | Bruxelles ; ; Fernelmont, [Belgium] : , : EME, , 2014 |
| Descrizione fisica | 1 online resource (431 p.) |
| Disciplina | 510 |
| Collana | Logiques et systèmes |
| Soggetto topico |
Mathematics - Philosophy
Intuition Logic |
| ISBN | 2-8066-3099-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto |
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
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 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 Rudolf Carnap : Regard formaliste sur le logicisme et l'intuitionnismeFin des débats; Bibliographie; Dans la collection « Logiques et Systèmes » |
| Record Nr. | UNINA-9910818858103321 |
|
Leclercq Bruno
|
||
| Bruxelles ; ; Fernelmont, [Belgium] : , : EME, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intuition in science and mathematics [[electronic resource] ] : an educational approach / / Efraim Fischbein
| Intuition in science and mathematics [[electronic resource] ] : an educational approach / / Efraim Fischbein |
| Autore | Fischbein Efraim <1920-1998.> |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Dordrecht, : Kluwer Academic Publisher, c1987 |
| Descrizione fisica | 1 online resource (241 p.) |
| Disciplina | 501 |
| Collana | Mathematics Education Library |
| Soggetto topico |
Science - Philosophy
Mathematics - Philosophy Intuition |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-20784-1
9786610207848 0-306-47237-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Theory -- Intuition and the Need for Certitude -- Intuition and Mathematical Reasoning -- Investigations in Overconfidence -- General Characteristics of Intuitive Cognitions -- The Classification of Intuitions -- Inferential Intuitions and Logical Reasoning -- Factors which Shape Intuitions -- Intuition and Experience -- The Practicalyty of Intuitive Meanings, Analysis of an Example: The Negative Numbers -- Factors of Immediacy -- Factors of Globality -- Intuition and Intuitive Models -- Models and Analogies -- Paradigmatic Models -- Diagrammatic Models -- Phenomenological Primitives -- Conflicts and Compromises -- Factors of Perseverance and Closure: The Primacy Effect -- Summary and Didactical Implications. |
| Record Nr. | UNINA-9910455672703321 |
|
Fischbein Efraim <1920-1998.>
|
||
| Dordrecht, : Kluwer Academic Publisher, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Irrationality, Transcendence and the Circle-Squaring Problem [[electronic resource] ] : An Annotated Translation of J. H. Lambert’s Vorläufige Kenntnisse and Mémoire / / by Eduardo Dorrego López, Elías Fuentes Guillén
| Irrationality, Transcendence and the Circle-Squaring Problem [[electronic resource] ] : An Annotated Translation of J. H. Lambert’s Vorläufige Kenntnisse and Mémoire / / by Eduardo Dorrego López, Elías Fuentes Guillén |
| Autore | Dorrego López Eduardo |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (178 pages) |
| Disciplina | 128 |
| Collana | Logic, Epistemology, and the Unity of Science |
| Soggetto topico |
Mathematics
History Mathematics - Philosophy History of Mathematical Sciences Philosophy of Mathematics Filosofia de la matemàtica Irracionalisme (Filosofia) Transcendència (Filosofia) |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-24363-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Antecedents -- Chapter 1. From Geometry to Analysis -- Chapter 2. The situation in the first half of the 18th century. Euler and continued fractions -- Part II: Johann Heinrich Lambert (1728—1777) -- Chapter 3. A biographical approach to Johann Heinrich Lambert -- Chapter 4. Outline of Lambert's Mémoire (1761/1768) -- Chapter 5. An annotated translation of Lambert's Mémoire (1761/1768) -- Chapter 6. Outine of Lambert's Vorläufige Kenntnisse (1766/1770) -- Chapter 6. An annotated translation of Lambert's Vorläufige Kenntnisse (1766/1770) -- Part III: The influence of Lambert's work and the development of irrational numbers -- Chapter 8. The state of irrationals until the turn of the century -- Chapter 9. Title to be set up. |
| Record Nr. | UNINA-9910682599603321 |
|
Dorrego López Eduardo
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Isaaci Barrow Mathematicæ Professoris Lucasiani Lectiones habitæ in scholis publicis Academiæ Cantabrigiensis [[electronic resource] ] : an. Dom. M. DC. LXV
| Isaaci Barrow Mathematicæ Professoris Lucasiani Lectiones habitæ in scholis publicis Academiæ Cantabrigiensis [[electronic resource] ] : an. Dom. M. DC. LXV |
| Autore | Barrow Isaac <1630-1677.> |
| Pubbl/distr/stampa | Londini, : Typis J. Playford, pro Georgio Wells ..., 1684 |
| Descrizione fisica | [2], 388 p. : ill |
| Soggetto topico | Mathematics - Philosophy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISA-996394840703316 |
|
Barrow Isaac <1630-1677.>
|
||
| Londini, : Typis J. Playford, pro Georgio Wells ..., 1684 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Isaaci Barrow, mathematicæ professoris lucasiani, lectiones habitæ in scholis publicis Academiæ Cantabrigiensis [[electronic resource] ] : An. dom. MDCLXV
| Isaaci Barrow, mathematicæ professoris lucasiani, lectiones habitæ in scholis publicis Academiæ Cantabrigiensis [[electronic resource] ] : An. dom. MDCLXV |
| Autore | Barrow Isaac <1630-1677.> |
| Pubbl/distr/stampa | Londini, : Typis J. Playford, pro Georgio Wells ..., 1684 |
| Descrizione fisica | [2], 388 p. : ill |
| Soggetto topico | Mathematics - Philosophy |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISA-996383739203316 |
|
Barrow Isaac <1630-1677.>
|
||
| Londini, : Typis J. Playford, pro Georgio Wells ..., 1684 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Issaci Barrow, lectiones mathematicæ XXIII, in quibus principia matheseôs generalia exponuntur [[electronic resource] ] : habitæ Cantabrigiæ A.D. 1664, 1665, 1666, accesserunt ejusdem lectiones IV, in quibus theoremata & problemata Archimedis De sphærâ & cylindro, methodo analyticâ eruuntur
| Issaci Barrow, lectiones mathematicæ XXIII, in quibus principia matheseôs generalia exponuntur [[electronic resource] ] : habitæ Cantabrigiæ A.D. 1664, 1665, 1666, accesserunt ejusdem lectiones IV, in quibus theoremata & problemata Archimedis De sphærâ & cylindro, methodo analyticâ eruuntur |
| Autore | Barrow Isaac <1630-1677.> |
| Pubbl/distr/stampa | Londini, : Typis J. Playford, pro Georgio Wells ..., 1685 |
| Descrizione fisica | [6], xxxvii, [1], 151 p. : ill |
| Soggetto topico |
Mathematics - Philosophy
Geometry |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISA-996384563803316 |
|
Barrow Isaac <1630-1677.>
|
||
| Londini, : Typis J. Playford, pro Georgio Wells ..., 1685 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen
| Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen |
| Autore | Audureau Éric |
| Pubbl/distr/stampa | Aix-en-Provence, : Presses universitaires de Provence, 2021 |
| Descrizione fisica | 1 online resource (525 p.) |
| Altri autori (Persone) |
BernardJulien
CantùPaola CroccoGabriella DawsonJohn W EngelenEva-Maria FloydJuliet HaringSilvia Jr KanamoriAkihiro KnoblochEberhard LinkMontgomery MagalOran MertensAmélie MugnaiMassimo TernulloClaudio TieszenRichard van AttenMark WeingartnerPaul |
| Collana | Épistémè |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato | philosophy |
| ISBN | 979-1-03-657685-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910502603303321 |
|
Audureau Éric
|
||
| Aix-en-Provence, : Presses universitaires de Provence, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lakatos : an introduction / / Brendan Larvor
| Lakatos : an introduction / / Brendan Larvor |
| Autore | Larvor Brendan <1967, > |
| Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 1998 |
| Descrizione fisica | 1 online resource (142 p.) |
| Disciplina | 501 |
| Soggetto topico |
Science - Philosophy
Mathematics - Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9786610104796
1-134-76514-2 1-280-10479-1 0-585-45321-7 0-203-00454-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Cover""; ""Title""; ""Copyright Page""; ""Dedication""; ""Contents""; ""Acknowledgements""; ""Abbreviations""; ""1 Life and character""; ""2 Proofs and Refutations""; ""Dialectics""; ""Formalism""; ""Hegel""; ""Fallibilism""; ""3 The Popper-Kuhn debate""; ""4 Philosophy of science""; ""The methodology of scientific research programmes""; ""Statute and case law""; ""The methodology of historical research programmes""; ""Hacking's interpretation""; ""Hegelian history""; ""Other Hegelian traces""; ""Conclusion""; ""5 The politics of reason""; ""Lakatos' rationalism""
""The limits of demarcationism""""Proofs and Refutations: an anarchist tract""; ""Reason and freedom""; ""6 After Lakatos""; ""Diagnosis""; ""Prescription""; ""Notes""; ""Bibliography""; ""Index"" |
| Record Nr. | UNINA-9910450200003321 |
|
Larvor Brendan <1967, >
|
||
| London ; ; New York : , : Routledge, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
