research
∙
09/19/2022
How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
I discuss issues of inverting feasibly computable functions, optimal dis...
share
research
∙
09/15/2022
On Power Set Axiom
Usual math sets have special types: countable, compact, open, occasional...
research
∙
07/06/2022
Gacs-Kucera Theorem
Gacs-Kucera Theorem, tightened by Barmpalias and Lewis-Pye, w.t.t.-reduc...
research
∙
12/31/2020
The Dual Matrix Algorithm for Linear Programming
The Dual Matrix Algorithm, variations of which were proposed in [A.Yu.Le...
research
∙
05/13/2020
Fundamentals of Computing
These are notes for a course aimed at introducing the undergraduates to ...
research
∙
12/26/2000