Andrius Kulikauskas

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

Lietuvių kalba

Understandable FFFFFF

Questions FFFFC0



I am applying for a European Philosophy of Science Association fellowship. I would like to study at the Munich Center for Mathematical Philosophy.

  • Main question: How to build math intuition?




  • Sociological problem: Voevodsky's program is driven by limitations on proof checkers
  • Penrose's picture of the division into three. Video: "Professor Dr. Sir Roger Penrose on new clues to the basics of conscious mentality" 53:13.
  • Gatekeeping
  • Mathematics Subject Classification revision from 2010 to 2020, no changes foreseen in the 63 areas of 2 digit classification.


People who have the broadest overview of math

  • John Baez
  • Voevodsky
  • Terrence Tao
  • Urs Schreiber
  • William Lawvere
  • Princeton Companion to Mathematics
  • Penrose - Road to Reality
  • Kolmogorov
  • MacLane
  • Kirby Urner
  • Weinberger
  • Eugene Chang
  • Lou Kauffman
  • Witten
  • Joseph Goguen
  • Stanislaw Ulam
  • John Isbell (duality)
  • Qiaochu Yuan
  • cut the knot
  • Peter Woit

Sir Michael Atiyah and the Unity of Mathematics and Physics. Galois group of the octonions

Urs Schreiber - It Was 20 Years Ago Today — the M-theory Conjecture

  • Poincare
  • Weyl?
  • Grothendieck
  • von Neumann
  • Conway
  • Gian-Carlo-Rota
  • Atiyah - Singer
  • Langford...?
  • Perelman
  • Jacob Lurie - conceptual foundation for derived algebraic geometry

Maria Droujkova - multiplication methods

David Kazhdan. Reflections on the Development of Mathematics in the 20th Century.


Consider the most basic problems

  • Azimuth Forum

Voevodsky - Introduction to Motivity Homotopy Theory

Twosome (mathematical): Fixed points (as with Mandelbrot set)


  • Analyze the generating function for the logistic map and its bifurcation diagram.

Tools for solving math are all based on finite thinking (except for continuity arguments, etc.) not using the Axiom of Infinity. But the objects of study in mathematics are all essentially infinite - "general" - for example there are infinitely many integers, there are infinitely many values a variable may take, there are infinitely many solutions to the Pythagorean theorem, etc. Generally, mathematical statements (with a free variable) apply to infinitely many (non finite, nonrestricted) situations. That is why infinitary disjunctions are allowed (infinitely many things) but only finitary conjunctions (finite combinations). By analogy, this is how the conscious mind rules the unconscious mind, or how the small ordering orders the large ordering in a visualization.

Curry-Howard isomorphism

Physics, Topology, Logic and Computation: A Rosetta Stone John Baez, Mike Stay

Valeria de Paiva

Ulrich Kohlenbach Computational content extraction - proof-mining

Math Overflow about Olivia Caramello

Olivia Caramello video lecture notes

Olivia Caramello at Glass Bead

Laurent Lafforgue supportive of Olivia Caramello


Naujausi pakeitimai

Puslapis paskutinį kartą pakeistas 2017 rugpjūčio 09 d., 09:36