相关论文: Classical Philology. Notes on Fermat's way of thin…
We give again the proof of several classical results concerning the cyclotomic approach to Fermat's last theorem using exclusively class field theory (essentially the reflection theorems), without any calculations. The fact that this is…
In this review, we present some fundamental classical and quantum phenomena in view of time fractional formalism. Time fractional formalism is a very useful tool in describing systems with memory and delay. We hope that this study can…
This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes…
We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…
These lecture notes provide a relatively self-contained introduction to field theoretic methods employed in the study of classical and quantum phase transitions.
Lectures notes (in italian) of some arguments of classical analysis, with exercises. A particular emphasis to functional analysis and elementary operator algebra theory is given, by means of exercises and examples.
These notes provide an introduction to a number of those topics in Classical Mechanics that are useful for field theory.
In this note some philosophical thoughts and observations about mathematics are expressed, arranged as challenges to some common claims.
One of the variants for systematizing the activities of the historian of mathematics is proposed, as well as a scheme for organizing research and search work in the preparation of scientific articles and reports on the history of science.
We survey the classical results of the Dirichlet Approximation Theorem.
The purpose of this note is to report, in narrative rather than rigorous style, about the nice geometry of $6$-division points on the Fermat cubic $F$ and various conics naturally attached to them. Most facts presented here were derived by…
In our work we give the examples using Fermat's Last Theorem for solving some problems from algebra and number theory.
This paper is submitted to Algebraic-Number-Theory Archives for validation by Number Theorists Community. It is an update of the previous versions ANT-0155, ANT-0170, ANT-0205, ANT-0237, ANT-0321, ANT-0333, and ANT-0356, of which the first…
Creating a new Ontology: a Modular Approach
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers…
The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of…
This is an essay that considering the knowledge structure and language of a different nature, attempts to build on an explanation of the object of study and characteristics of the mathematical science. We end up with a learning cycle of…
This paper presents a new characterisation of the Fermat curve, according to the arrangement of Galois points.
I review the classical theory of likelihood based inference and consider how it is being extended and developed for use in complex models and sampling schemes.
We give a simple explanaition of classical boson-fermion correspondence.