Book

Math

Discovery

Andrius Kulikauskas

  • ms@ms.lt
  • +370 607 27 665
  • My work is in the Public Domain for all to share freely.

Lietuvių kalba

Understandable FFFFFF

Questions FFFFC0

Notes EEEEEE

Software

Rimvydas Krasauskas and I are getting together to study homotopy type theory, including Voevodsky's work.

Readings

Videos

Rimvydas Krasauskas's interests

  • New foundations for mathematics
  • Having a real programming language to check proofs

Concepts:

  • Different levels of equivalences
  • Paths between points (homotopies) and equivalence of homotopies

HomotopyTypeTheory


Naujausi pakeitimai


Puslapis paskutinį kartą pakeistas 2016 gruodžio 04 d., 07:41
Tweet