3,470 research outputs found
The use of data-mining for the automatic formation of tactics
This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques
Introduction
There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such as the psychology of reasoning and mathematics education. This introduction offers a snapshot of each trend and addresses how they intersect with some of the standard criticisms of experimental philosophy. It also briefly summarizes the specific contribution of the other chapters of this book
Ten Misconceptions from the History of Analysis and Their Debunking
The widespread idea that infinitesimals were "eliminated" by the "great
triumvirate" of Cantor, Dedekind, and Weierstrass is refuted by an
uninterrupted chain of work on infinitesimal-enriched number systems. The
elimination claim is an oversimplification created by triumvirate followers,
who tend to view the history of analysis as a pre-ordained march toward the
radiant future of Weierstrassian epsilontics. In the present text, we document
distortions of the history of analysis stemming from the triumvirate ideology
of ontological minimalism, which identified the continuum with a single number
system. Such anachronistic distortions characterize the received interpretation
of Stevin, Leibniz, d'Alembert, Cauchy, and others.Comment: 46 pages, 4 figures; Foundations of Science (2012). arXiv admin note:
text overlap with arXiv:1108.2885 and arXiv:1110.545
Continuum Line-of-Sight Percolation on Poisson-Voronoi Tessellations
In this work, we study a new model for continuum line-of-sight percolation in
a random environment driven by the Poisson-Voronoi tessellation in the
-dimensional Euclidean space. The edges (one-dimensional facets, or simply
1-facets) of this tessellation are the support of a Cox point process, while
the vertices (zero-dimensional facets or simply 0-facets) are the support of a
Bernoulli point process. Taking the superposition of these two processes,
two points of are linked by an edge if and only if they are sufficiently
close and located on the same edge (1-facet) of the supporting tessellation. We
study the percolation of the random graph arising from this construction and
prove that a 0-1 law, a subcritical phase as well as a supercritical phase
exist under general assumptions. Our proofs are based on a coarse-graining
argument with some notion of stabilization and asymptotic essential
connectedness to investigate continuum percolation for Cox point processes. We
also give numerical estimates of the critical parameters of the model in the
planar case, where our model is intended to represent telecommunications
networks in a random environment with obstructive conditions for signal
propagation.Comment: 30 pages, 4 figures. Accepted for publication in Advances in Applied
Probabilit
Stevin numbers and reality
We explore the potential of Simon Stevin's numbers, obscured by shifting
foundational biases and by 19th century developments in the arithmetisation of
analysis.Comment: 22 pages, 4 figures. arXiv admin note: text overlap with
arXiv:1104.0375, arXiv:1108.2885, arXiv:1108.420
- …