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
willard-csp-tutorial
research

Formal marginalia in computability theory

May 15, 2024 admin

A talk I gave at the ASL Annual Meeting in Ames, Iowa, May 15, 2024.

Slides:
ASL-2024-slides-Kjos-Hanssen

All slides from the special session

Post navigation

Previous PostAutomatic complexity of distinguishingNext PostNotes on Shallit’s new book

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

  • Mathlib contributions
  • Lean blueprint projects
  • Notes on Shallit’s new book
  • Formal marginalia in computability theory
  • Automatic complexity of distinguishing

Categories

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

Just for fun

  1. Loudspeaker

    Pronunciation

    May 8, 2014 admin
More audio →
Proudly powered by WordPress