Skip to content

Kenshi Miyabe

宮部賢志(ミヤベケンシ)

  • Contact
  • CV
  • Publications
  • Talks
  • Language: English
    • English English
    • 日本語 日本語

Author: miyabe

Posted on December 24, 2017

A hierarchy of functions corresponding randomness hierarchy

News
24 Dect, 2017 The slide file was uploaded.

Title
A hierarchy of functions corresponding randomness hierarchy

Type
A talk in RIMS workshop “Proof theory and proving”

Download
rims

Posted on December 13, 2017December 24, 2017

Computation at random points

News
13 Dect, 2017 The slide file was uploaded.

Title
Computation at random points

Type
A talk in IPA Math 2017

Download
IPAmath

Posted on December 13, 2017December 13, 2017

What is mathematics at all?

News
13 Dec, 2017 The slide file was uploaded.

Title
What is mathematics at all?

Type
A lecture in Meiji University Meiji High School at 6 Dec, 2017.

Download
math

Posted on October 28, 2017December 13, 2017

Halting Probability Ω

News
28 Oct, 2017 The slide file was uploaded.

Title
Halting Probability Ω

Type
A talk in Young gathering on mathematical founcations

Download
young

Posted on October 9, 2017

New theme

8 Oct, 2017.

The theme of this wordpress changed to twenty seventeen.

Posts navigation

Previous page Page 1 … Page 9 Page 10 Page 11 … Page 37 Next page

ここは研究者としての宮部賢志のウェブサイトです.教育に関する情報は宮部研究室ウェブサイトを御覧ください.

The website of Miyabe Lab contains information about teaching in Japanese.

Language:

  • English
  • 日本語

Contents

  • Contact
  • CV
  • Research Interest
  • Publications
  • Talks
  • Picture&Video
  • Links

Categories

  • Diary (10)
  • Publication (43)
  • Talks (132)

Recent Posts

  • Quantifier Variations in Solovay Reducibility
  • Real closed fields via strong Solovay reducibility
  • Quantifier Variations in Solovay Reducibility
  • How to study mathematics in the era of generative AI
  • Quantifier variations in Solovay reducibility

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Monthly Archives

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress