Ishihara, Hajime (19..-....)

Ishihara, Hajime (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 272231304

URI de l'entité : http://www.idref.fr/272231304/id

Notice de type Personne

Point d'accès autorisé

Ishihara, Hajime (19..-....)

Nom à l'état civil

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Japon

Date de naissance : 19..

Genre : Masculin

Notes

Note publique d'information :

Professeur de logique mathématique à l'Institut avancé des sciences et technologies du Japon (JAIST). Il a travaillé pendant plus de trente ans dans le domaine des mathématiques constructives et de la logique mathématique, dans lesquelles il est connu pour avoir introduit les « astuces d'Ishihara » et pour avoir ouvert les portes des mathématiques inverses constructives.

Source

Handbook of constructive mathematics / edited by Douglas Bridges, University of Canterbury, Hajime Ishihara, Japan Advanced Institute of Science and Technology, Michael Rathjen, University of Leeds, Helmut Schwichtenberg, Ludwig Maximilian University of Munich, 2023.

... Références liées : ...