BERNAYS PAUL ISAAK (1888-1977)

Ce sujet est traité dans les articles suivants :

1.  LOGIQUE MATHÉMATIQUE

Écrit par : Daniel ANDLER, Roger MARTIN

Dans le chapitre "Adolescence : 1908-1931"  : … notamment par le fait qu'elles ne peuvent appartenir à rien, ni ensemble ni classe. Amélioré par *Bernays et par Gödel, ce système, désigné par les initiales de ses auteurs, NBG, est essentiellement équivalent à ZF, lequel est le système couramment utilisé aujourd'hui. Revenons brièvement sur le calcul des prédicats, pour signaler certains… Lire la suite

2.  MATHÉMATIQUES FONDEMENTS DES

Écrit par : Jean Toussaint DESANTI

Dans le chapitre "Les problèmes d'existence : intuitionnisme et formalisme"  : … qui suivirent l'exemple de David Hilbert et travaillèrent à sa suite : outre Hilbert lui-même, Paul *Bernays, Wilhelm Ackermann, John von Neumann. Trois idées fondamentales règlent leur pratique : – La non-contradiction est un critère suffisant d'existence. – La « pensée » mathématique n'a d'existence que dans les systèmes d'écritures qui la… Lire la suite

3.  QUANTIFICATION, linguistique

Écrit par : Jean-Pierre DESCLES

… *La quantification est une série d'opérations de détermination qui sont constitutives de la bonne formation de l'énoncé. Le terme de quantification, en tant qu'opérations, a été introduit par C. S. Peirce et par G. Frege pour analyser des particules grammaticales comme « quelques », « certains », « chaque », « tous les », « aucun »... Ils ont retenu… Lire la suite