Bjørn Kjos-Hanssen

Search

Primary Menu

Skip to content
  • Bjørn Kjos-Hanssen
  • Posts
  • Publications
  • Software
    • Android
    • Plugin
    • Web
      • Autocomplete
      • Complexity guessing game
      • Complexity lookup
      • Complexity option game
      • Structure function calculator
  • Teaching
    • MATH 654 (Fall 2018)
    • Math 657 (Spring 2014)
    • Courses taught
      • Accelerated calculus 2016-2017
      • Math 242 (Fall 2014)
      • MATH 244 (Spring 2016)
      • MATH 253A
      • MATH 372
      • MATH 373 (Spring 2017)
      • MATH 471&472 (2014-2015)
      • MATH 472 (Spring 2016)
      • MATH 480 Senior Seminar (Spring 2015)
      • MATH 480 Spring 2018
      • Math 649B
      • Math 672 (Spring 2014)
  • Calendar

Category Archives: TV

TV

Gödel, Turing and Fortnow on ThinkTech

Video November 6, 2018 admin Leave a comment

Links

  • Bjørn Kjos-Hanssen's articles on arXiv.org
  • Computability.org
  • CV
  • Deontic logic
  • Department of Mathematics

Professor of Mathematics, University of Hawaii at Manoa

Recent Posts

  • Deontic independence challenge
  • Synchronizing words for quantum channels
  • Knot and link theory in protein folding models
  • Marginis: Formal Marginalia
  • Mathlib contributions

Categories

  • calculations
  • computability
  • conferences
  • editorial board
  • LaTeX
  • modal logic
  • outreach
  • publications
  • research
  • service
  • students
  • teaching
  • TV
  • web design/development

Just for fun

  1. Loudspeaker

    Pronunciation

    May 8, 2014 admin
More audio →
Powered by WordPress