相关论文: On proof and progress in mathematics

We study maps from a 2D world-sheet to a 2D target space which include folds. The geometry of folds is discussed and a metric on the space of folded maps is written down. We show that the latter is not invariant under area preserving…

The nature of the existence, revealed through Human cognitive system, has been evolving since the development of the languages. Part of such revelations were the geometrical forms and the numbers, whose beauty and order, wondrous and…

In this articles we consider very mathematical (if not very plausible) geometric marching. Our marchers will exhibit beautiful mathematics, some familiar and some less so. In a final summary section we discuss the point of all the fancy…

Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form. The central claim of this paper is…

We investigate the geometric, algebraic and homologic structures related with Poisson structure on a smooth manifold. Introduce a noncommutative foundations of these structures for a Poisson algebra. Introduce and investigate noncommutative…

In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence.…

Presented is description of kinematics and dynamics of material points with internal degrees of freedom moving in a Riemannian manifold. The models of internal degrees of freedom we concentrate on are based on the orthogonal and affine…

In the last decades, several objects such as grammars, economical agents, laws of physics... have been defined as algorithms. In particular, after Brouwer, Heyting, and Kolomogorov, mathematical proofs have been defined as algorithms. In…

We present a variant of the classical Darboux-Jouanolou Theorem. Our main result provides a characterization of foliations which are pull-backs of foliations on surfaces by rational maps. As an application, we provide a structure theorem…

In this note, we study the general form of a multiplicative bijection on several families of functions defined on manifolds, both real or complex valued. In the real case, we prove that it is essentially defined by a composition with a…

This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…

The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translating proofs written in natural language into a formal…

Throughout mathematics there are constructions where an object is obtained as a limit of an infinite sequence. Typically, the objects in the sequence improve as the sequence progresses, and the ideal is reached at the limit. I introduce a…

Research in foundations of physics is stagnant, as claimed by many scientists during the last years. I suggest that one reason might be the reification of language, particularly of mathematics, which favour the search for answers to wrong…

We give an elementary proof of the fact that any orientable 3-manifold admits a framing (i.e. is parallelizable) and any non-orientable 3-manifold admits a projective framing. The proof uses only basic facts about immersions of surfaces in…

In this paper we study elliptic curves which have a number of points whose coordinates are in arithmetic progression. We first motivate this diophantine problem, prove some results, provide a number of interesting examples and, finally…

The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, i.e. $\textsf{ZFC}$ set theory, all mathematical objects are…

We offer a view of mathematics as an experimental science where axioms play the role of foundational theories like general relativity and quantum mechanics in physics. Under this view, axioms are provisional and inferred from experience…

We study deformations of Riemannian metrics on a given manifold equipped with a codimension-one foliation subject to quantities expressed in terms of its second fundamental form. We prove the local existence and uniqueness theorem and…

We define some new invariants for 3-manifolds using the space of taut codim-1 foliations along with various techniques from noncommutative geometry. These invariants originate from our attempt to generalise Topological Quantum Field…