Please use this identifier to cite or link to this item:

Title: Convergence: what’s logic got to do with it?
Authors: Dinis, Bruno
Keywords: Proof mining
Issue Date: Nov-2022
Abstract: Proof mining is a program that makes use of tools from mathematical logic in order to analyse mathematical proofs. This analysis is developed with the purpose of extracting quantitative information from proofs, for example in the form of effective bounds and/or algorithms. The success of the proof mining program is due to the ability of extracting computational content from non-constructive proofs which often allows to improve the results analysed by weakening the hypotheses necessary to prove them. Moreover, in the improved results the logical tools used to analyse the original proof are not visible and can therefore be read by non-logicians. Nevertheless, the understanding of certain logical principles, as well as their strength, is crucial in order to perform the extraction of information from the proof. In this talk I will give a soft introduction to the proof mining program focusing on the somewhat simple example of the convergence of sequences. As it turns out, this is a very fruitful example, related with Terence Tao’s notion of metastability, which is has been paramount in different areas of research.
Type: lecture
Appears in Collections:CIMA - Comunicações - Em Congressos Científicos Nacionais
MAT - Comunicações - Em Congressos Científicos Nacionais

Files in This Item:

File Description SizeFormat
Evora_2022.pdf597.87 kBAdobe PDFView/Open
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Dspace Dspace
DSpace Software, version 1.6.2 Copyright © 2002-2008 MIT and Hewlett-Packard - Feedback
UEvora B-On Curriculum DeGois