20 found
Sort by:
  1.  57 DLs
    Alfred Tarski & Hourya Sinaceur (2000). Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946). Bulletin of Symbolic Logic 6 (1):1-44.
    This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2.  26 DLs
    Hourya Sinaceur (2001). Alfred Tarski: Semantic Shift, Heuristic Shift in Metamathematics. Synthese 126 (1-2):49 - 65.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3.  7 DLs
    Hourya Sinaceur (1975). Bolzano Est-Il le Précurseur de Frege? Archiv für Geschichte der Philosophie 57 (3):286-303.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4.  3 DLs
    Hourya Sinaceur (2000). Y-a-T-Il Une Tolérance Dans la Science? Philosophica 66.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5.  2 DLs
    Hourya Benis Sinaceur (2014). Facets and Levels of Mathematical Abstraction. Philosophia Scientiæ 18 (1):81-112.
    Mathematical abstraction is the process of considering and ma­nipulating operations, rules, methods and concepts divested from their refe­rence to real world phenomena and circumstances, and also deprived from the content connected to particular applications. There is no one single way of per­forming mathematical abstraction. The term “abstraction” does not name a unique procedure but a general process, which goes many ways that are mostly simultaneous and intertwined; in particular, the process does not amount only to logical subsumption. I will consider (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6.  1 DLs
    Hourya Sinaceur (2000). Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), by Alfred Tarski. [REVIEW] Bulletin of Symbolic Logic 6 (1):1-44.
    This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7.  0 DLs
    J. Salanskis & Hourya Sinaceur (1992). Le Labyrinthe du Continu Colloque de Cerisy.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8.  0 DLs
    Hourya Sinaceur (1975). Book Review. [REVIEW] Revue d'Histoire des Sciences 28 (1):88-90.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9.  0 DLs
    Hourya Sinaceur (1992). Cauchy, Sturm et les racines des équations. Revue d'Histoire des Sciences 45 (1):51-68.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10.  0 DLs
    Bas C. van Fraassen, Catherine Chevalley & Hourya Sinaceur (1996). Lois et symétrie: coll. « Mathésis ». Les Etudes Philosophiques 3:405-407.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11.  0 DLs
    Hourya Sinaceur (1991). Corps Et Modèles: Essai Sur L’Histoire de L’Algèbre Réelle. Vrin.
    Ce livre résulte de recherches sur les transformations récentes d’un concept aussi vieux que la mathématique elle-même, celui de nombre réel. De l’analyse classique à l’algèbre « moderne » et de celle-ci à la théorie des modèles, on trace ici le parcours singulier d’une alliance réussie des mathématiques et de la logique. La structure algébrique de corps réel clos et la théorie élémentaire de cette structure conduisent à déplacer la frontière du champ d’intervention des concepts analytiques dans de nombreux problèmes.S’il (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12.  0 DLs
    Paul Bernays & Hourya Benis Sinaceur (2004). Philosophie des mathématiques, coll. « Mathesis ». Revue Philosophique de la France Et de l'Etranger 194 (2):235-235.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13.  0 DLs
    Hourya Sinaceur (1999). Introduction /Introduction. Revue d'Histoire des Sciences 52 (3-4):339-341.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  14.  0 DLs
    Hourya Sinaceur (1993). Du formalisme à la constructivité: le finitisme. Revue Internationale de Philosophie 47 (186):251-283.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15.  0 DLs
    Jean-Michel Salanskis & Hourya Sinaceur (1995). Le labyrinthe du continu. Revue Philosophique de la France Et de l'Etranger 185 (3):380-382.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  16.  0 DLs
    Hourya Sinaceur (1999). Réalisme mathématique, réalisme logique chez Bolzano / Mathematical realism and logical realism in Bolzano's works. Revue d'Histoire des Sciences 52 (3-4):457-478.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  17.  0 DLs
    Hourya Sinaceur (2002). Modernity in Mathematics: Some Epistemological Invariants. Revue d'Histoire des Sciences 55 (1):83-100.
     
    My bibliography  
     
    Export citation  
  18.  0 DLs
    Bernard Bolanzo, Hourya Sinaceur, Bernard Bolzano & Centre National des Lettres (1993). Les Paradoxes de L'Infini.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  19.  0 DLs
    Hourya Sinaceur (2002). Modernité mathématique : Quelques invariants épistémologiques / Modernity in mathematics : Some epistemological invariants. Revue d'Histoire des Sciences 55 (1):83-100.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20.  0 DLs
    Hourya Sinaceur (1999). Réalisme mathématique, réalisme logique chez Bolzano. Revue d'Histoire des Sciences 52 (3-4):457-477.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation