相关论文: The Limits of Mathematics---Extended Abstract
This is a revised version of the course notes handed to each participant at the limits of mathematics short course, Orono, Maine, June 1994.
This is a shortened version of "The Limits of Mathematics--Course Outline & Software" (IBM Research Report RC 19324, December 1993) in which all Mathematica code has either been deleted or, if absolutely necessary, replaced by C code. The…
In this note some philosophical thoughts and observations about mathematics are expressed, arranged as challenges to some common claims.
These are the notes from my courses on the arithmetic of quadratic forms.
This is yet another version of the course notes in chao-dyn/9407003. Here we change the universal Turing machine that is used to measure program-size complexity so that the constants in our information-theoretic incompleteness theorems are…
Notes on the Spinpossible puzzle game. We give a mathematical description of the game, prove some elementary bounds on the length of optimal solutions, and consider variations of the game which place restrictions on the set of permitted…
This book is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. This is camera-ready copy prepared for publication as a book, but at the last minute I decided to publish it…
Work in progress concerning alternative formalizations of arithmetic.
These are expanded notes of four introductory talks on A-infinity algebras, their modules and their derived categories.
We give a brief summary of present bounds on the size of possible extra-dimensions from collider experiments.
In this paper, we present a comprehensive system for the treatment of the topic of limits--conceptually, computationally, and formally. The system addresses fundamental linguistic flaws in the standard presentation of limits, which attempts…
This chapter presents a brief review of complexity research in mathematics education. We argue how research on complexity, as it pertains to mathematics education, can be viewed as an epistemological discourse, an historical discourse, a…
We summarize the current knowledge on the three limit notions: ultrafilter-limits, closed-ultrafilter-limits and FAM-limits. Also, we consider the possibility to perform an iteration which has all the three limits and clarify the problem we…
These Course Notes provide an introduction to mathematical proofs for undergraduate students transitioning from computational calculus to abstract mathematics. Topics include propositional logic, proof techniques, mathematical induction,…
The latest in a series of reports presenting the information-theoretic incompleteness theorems of algorithmic information theory via algorithms written in specially designed versions of LISP. Previously in this LISP code only one-character…
We discuss some extensions and refinements of the variance bounds for both real and complex numbers. The related bounds for the eigenvalues and spread of a matrix are also derived here.
Much of Mathematics, and therefore Physics as well, have been limited by four rather consequential restrictions. Two of them are ancient taboos, one is an ancient and no longer felt as such bondage, and the fourth is a surprising omission…
Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.
Mathematical conception of infinite quantities forms a cornerstone of many disciplines of modern mathematics --- from differential calculus to set theory. In fact, it could be argued that the most significant revolutions in mathematics in…
This paper proves several weak limit theorems for the joint version of extreme order statistics and partial sums of independently and identically distributed random variables. The results are also extended to almost sure limit version.