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.
Constructivity and Computability in Historical and Philosophical Perspective / / edited by Jacques Dubucs, Michel Bourdeau
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L’enquête sur les catégories : De Durkheim à Sacks / / Bernard Fradin, Louis Quéré, Jean Widmer
| 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 | ||
| Materiale a stampa | ||
| 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
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Love, Order, and Progress : The Science, Philosophy, and Politics of Auguste Comte / / edited by Michel Bourdeau, Mary Pickering & Warren Schmaus
| Love, Order, and Progress : 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
301.092 |
| 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-9910824881503321 |
| Pittsburgh, Pa., : University of Pittsburgh Press, [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||