Calendar

Oct
1
Thu
(manoa-math):No events
Oct 1 @ 12:33 pm – 12:33 pm

October 1, 2015, 12:33 pm
No events
No events at this time. … (link: http://www.hawaii.edu/calendar/manoa-math/2015/10)

Noncommutative geometry seminar @ Keller 413
Oct 1 @ 3:00 pm – 4:00 pm
Oct
2
Fri
Achilles Beros: A diagonally non-computable function (II)
Oct 2 @ 9:30 am – 10:30 am
Colloquium: Ken-ichi Kuga (Chiba University)
Oct 2 @ 3:30 pm – 4:30 pm

Speaker: Ken-ichi Kuga (Chiba University)
Title: Wild Topologies and Formalization

Many wild spaces appear in low-dimensional topology where naive
geometric intuition fails to hold. It is therefore desirable to formalize mathematical arguments dealing with those wild phenomena.
One basic theorem in this field of geometric topology is the Bing
shrinking theorem. In this talk, after introducing some of those interesting wild spaces
including the Alexander’s horned sphere, I will explain one of Bing’s original shrinking argument which constructs a counter-intuitive, hence wild,
involution of the 3-dimensional sphere. Then I will explain our formalization of the Bing shrinking theorem using the proof-assistant COQ,
and also our future plan of formalizing geometric topology especially in
dimension 4.

Colloquium: Pamela Harris (Williams)
Oct 2 @ 3:30 pm – 4:30 pm
Oct
8
Thu
Noncommutative geometry seminar @ Keller 413
Oct 8 @ 3:00 pm – 4:00 pm
Oct
9
Fri
Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set
Oct 9 @ 9:30 am – 10:30 am
Oct
12
Mon
Algebra Comprehensive Exam
Oct 12 @ 9:00 am – 11:30 am