Constructivity and Computability in Historical and Philosophical Perspective / / edited by Jacques Dubucs, Michel Bourdeau |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (223 p.) |
Disciplina | 510.1 |
Collana | Logic, Epistemology, and the Unity of Science |
Soggetto topico |
Logic
Computers Mathematical logic Theory of Computation Mathematical Logic and Foundations |
ISBN | 94-017-9217-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface; Jacques Dubucs and Michel Bourdeau -- Chapter 1. Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session; Göran Sundholm -- Chapter 2. The developments of the concept of machine computability from 1936 to the 1960s; Jean Mosconi -- Chapter 3. Kolmogorov Complexity in perspective, Part I: Information Theory and Randomness; Marie Ferbus-Zanda and Serge Grigorieff -- Chapter 4. Kolmogorov Complexity in perspective, Part II: Classification, Information Processing and Duality; Marie Ferbus-Zanda -- Chapter 5. Proof-theoretic semantics and feasibility; Jean Fichot -- Chapter 6. Recursive functions and constructive mathematics; Thierry Coquand -- Chapter 7. Gödel and intuitionism; Mark van Atten. |
Record Nr. | UNINA-9910482957603321 |
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
L’enquête sur les catégories : De Durkheim à Sacks / / Bernard Fradin, Louis Quéré, Jean Widmer |
Autore | Bonu Bruno |
Pubbl/distr/stampa | Paris, : Éditions de l’École des hautes études en sciences sociales, 2019 |
Descrizione fisica | 1 online resource (304 p.) |
Disciplina | 160 |
Altri autori (Persone) |
BourdeauMichel
CefaïDaniel CollinsSteven DulongRenaud HesterStephen MondadaLorenza OgienAlbert QuéréLouis RelieuMarc WatsonD. Rod FradinBernard WidmerJean |
Soggetto topico | Categories (Philosophy) |
Soggetto non controllato |
classe
mot concept catégorie prototype |
ISBN | 2-7132-3083-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-9910416497603321 |
Bonu Bruno
![]() |
||
Paris, : Éditions de l’École des hautes études en sciences sociales, 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Love, Order, and Progress [[electronic resource] ] : The Science, Philosophy, and Politics of Auguste Comte / / edited by Michel Bourdeau, Mary Pickering & Warren Schmaus |
Pubbl/distr/stampa | Pittsburgh, Pa., : University of Pittsburgh Press, [2018] |
Descrizione fisica | 1 online resource (1 PDF (xiv, 402 pages)) |
Disciplina | 501 |
Soggetto topico |
Positivism
Science - Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN | 0-8229-8341-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I. Comte's philosophy of science -- Comte's general philosophy of science / Warren Schmaus -- The analytical construction of a positive science in Auguste Comte / Michel Blay -- Astronomical science and its significance for humankind / Anastasios Brenner -- Auguste Comte's positive biology / Laurent Clauzade -- Comte and social science / Vincent Guillin -- II. Comte's social and political thought -- Comte's political philosophy / Michel Bourdeau -- Art, affective life, and the role of gender in Auguste Comte's philosophy and politics / Jean Elisabeth Pedersen -- The religion of humanity and positive morality / Andrew Wernick -- Conclusion : The legacy of Auguste Comte / Mary Pickering. |
Record Nr. | UNINA-9910796867003321 |
Pittsburgh, Pa., : University of Pittsburgh Press, [2018] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|