Displaying similar documents to “La mathématique non standard vieille de soixante ans ?”

Le replacement du référent dans les pratiques de l’analyse issues de E. Nelson et de G. Reeb

Yves Péraire (2005)

Philosophia Scientiae

Similarity:

L’histoire récente des mathématique non standard est mise en perspective de manière à faire apparaître une modification dans le langage utilisé et dans la pratique de la référentiation des énoncés qui pourrait conduire, si on le souhaitait à rapprocher la langue mathématique d’une langue de communication. La profusion des constructions ensemblistes peut être limitée grâce à un vocabulaire un peu plus riche permettant de «dire l’indétermination», l’indiscernabilité, l’inaccessibilité......

Analyse relative

Yves Peraire (1992)

Annales scientifiques de l'Université de Clermont. Mathématiques

Similarity:

The problems of definition

Jean-Pierre Ginisti (1991)

Mathématiques et Sciences Humaines

Similarity:

The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.

Préface

Philippe Nabonnand (2005)

Philosophia Scientiae

Similarity:

La no-class theory de Stanisław Leśniewski

Pierre Joray (2005)

Philosophia Scientiae

Similarity:

Insatisfait du calcul des classes et des relations de Whitehead et Russell, Leśniewski élabora en 1919-20 une théorie extensionnelle des noms qu’il nomma . Sans entrer dans une description technique du formalisme de Leśniewski, nous montrons dans cet article que l’Ontologie permet un traitement général du distributif qui ne s’appuie à aucun moment sur une notion de classe. Nous illustrons enfin cette particularité importante du système de Leśniewski en proposant une définition logiciste...