Toshiyasu Arai

Article

January 29, 2023

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