Cheap Non-standard Analysis and Computability

04/25/2018
by   Olivier Bournez, et al.
0

Non standard Analysis is an area of Mathematics dealing with notions of infinitesimal and infinitely large numbers, in which many statements from classical Analysis can be expressed very naturally. Cheap non-standard analysis introduced by Terence Tao in 2012 is based on the idea that considering that a property holds eventually is sufficient to give the essence of many of its statements. This provides constructivity but at some (acceptable) price. We consider computability in cheap non-standard analysis. We prove that many concepts from computable analysis as well as several concepts from computability can be very elegantly and alternatively presented in this framework. It provides a dual view and dual proofs to several statements already known in these fields.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/29/2021

Simple proofs of estimations of Ramsey numbers and of discrepancy

In this expository note we present simple proofs of the lower bound of R...
research
11/14/2022

Towards a Mathematics Formalisation Assistant using Large Language Models

Mathematics formalisation is the task of writing mathematics (i.e., defi...
research
10/26/2022

Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework

Context sensitivity is essential for achieving the precision in inter-pr...
research
05/04/2023

Multiteam semantics for interventionist counterfactuals: probabilities and causation

In [4], we introduced an extension of team semantics (causal teams) whic...
research
05/16/2023

How to automatise proofs of operator statements: Moore-Penrose inverse – a case study

We describe a recently developed algebraic framework for proving first-o...
research
08/19/2022

UnCommonSense: Informative Negative Knowledge about Everyday Concepts

Commonsense knowledge about everyday concepts is an important asset for ...
research
10/01/2020

How Macroeconomists Lost Control of Stabilization Policy: Towards Dark Ages

This paper is a study of the history of the transplant of mathematical t...

Please sign up or login with your details

Forgot password? Click here to reset