Toshiyasu Arai
![]()
Toshiyasu Arai (Arai Toshiyasu, 1958-) è un matematico e logico giapponese. Professore, Scuola di specializzazione in scienze matematiche, Università di Tokyo. Specializzato in fondamenti della matematica. Noriko Arai, professore all'Istituto Nazionale di Informatica, è sua moglie.
Nato a Tokio. Laureato presso il Dipartimento di Scienze di Base, Facoltà di Arti Liberali, Università di Tokyo. Ha completato il corso di dottorato presso la Graduate School of Mathematics, University of Tsukuba. Dottore in Scienze.
Biografia
1958 (Showa 33) -Nato a Tokyo.
Laureato presso il Dipartimento di Scienze di Base, Facoltà di Arti Liberali, Università di Tokyo.
Ha completato il corso di dottorato presso la Graduate School of Mathematics, University of Tsukuba.
1987 (1987) -1991 (Heisei 3) --Assistente presso il Dipartimento di Matematica, Facoltà di Scienze, Università di Nagoya.
1991 (Heisei 3) -2001 (Heisei 13) -Professore assistente, Facoltà di scienze globali, Università di Hiroshima.
2001 (2001) -2007 (2007) --Professore, Graduate School of Natural Science and Technology, Kobe University.
2008 (2008) -2009 (2009) --Professor, Graduate School of Engineering, Kobe University.
2009 (2009) -2017 (2017) --Professor, Graduate School of Science, Chiba University.
2017 (Heisei 29) -2019 (Heisei 31) --Professor, Graduate School of Science, Chiba University.
2019 (Heisei 31) - Professore, Graduate School of Mathematical Sciences, The University of Tokyo.
Copyright
Libri
Noriko Arai, "Cos'è il calcolo?", Tokyo Book
, ottobre 2009. ISBN 978-4-489-02054-4.
"Fondazione della matematica" Iwanami Shoten, 18 maggio 2011. ISBN 978-4-00-005536-9.
Analisi ordinale con un'introduzione alla teoria della dimostrazione Springer (2020) ISBN 978-981-15-6458-1 Https://link.springer.com/book/10.1007%2F978-981-15-6459-8
Articolo
Toshiyasu Arai "Proof of Consistency of Godel" "Contemporary Thought February 2007 Special Issue (General Feature Godel)" Vol. 35, No. 3, Seitosha, marzo 2007, pp. 82-93, ISBN 978-4-7917-1160- 4.
Nota a piè di pagina
Articoli correlati
Insiemistica
Numero ordinale
Teoria della dimostrazione
Fondamenti di matematica
Logica matematica
Collegamento esterno
Toshiyasu Arai --Ricercatore-- Leggi e mappa di ricerca
KAKEN --Toshiyasu Arai (40193049)
ID Risolutore Ricercatore: 100400193049, Elenco Trattati (CiNii)
"Fondamenti di matematica" maggiori informazioni
