Mauro Di Nasso – författare

A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, t

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-fifth publication in the Lecture Notes in Logic series, grew from a conference on Nonstandard Methods and Applications in Mathematics held in Pisa, Italy from 12–16 June, 2002. It contains ten peer-reviewed papers that aim to provide something more timely than a textbook, but less ephemeral than a conventional proceedings. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. These articles consider the foundations of the subject, as well as its applications to pure and applied mathematics and mathematics education.

A conference on Nonstandard Methods and Applications in Mathematics (NS2002) was held in Pisa, Italy from June 12-16, 2002. Nonstandard analysis is one of the great achievements of modern applied mathematical logic. In addition to the important philosophical achievement of providing a sound mathematical basis for using infinitesimals in analysis, t

The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general (graduate-level) mathematical audience. This book will provide a natural starting point for researchers interested in approaching the rapidly growing literature on combinatorial results obtained via nonstandard methods. The primary audience consists of graduate students and specialists in logic and combinatorics who wish to pursue research at the interface between these areas.

"This text shows that the study of the almost-forgotten, non-Archimedean mathematics deserves to be utilized more intently in a variety of fields within the larger domain of applied mathematics."CHOICEThis book contains an original introduction to the use of infinitesimal and infinite numbers, namely, the Alpha-Theory, which can be considered as an alternative approach to nonstandard analysis.The basic principles are presented in an elementary way by using the ordinary language of mathematics; this is to be contrasted with other presentations of nonstandard analysis where technical notions from logic are required since the beginning. Some applications are included and aimed at showing the power of the theory.The book also provides a comprehensive exposition of the Theory of Numerosity, a new way of counting (countable) infinite sets that maintains the ancient Euclid's Principle: "The whole is larger than its parts". The book is organized into five parts: Alpha-Calculus, Alpha-Theory, Applications, Foundations, and Numerosity Theory.