Naslov (eng)

Proving, Refuting, Improving—Looking for a Theorem

Autor

Boričić, Branislav

Opis (eng)

Abstract: Exploring the proofs and refutations of an abstract statement, conjecture with the aim to give a formal syntactic treatment of its proving–refuting process, we introduce the notion of extrapolation of a possibly unprovable statement having the form if A, then B, and propose a procedure that should result in the new statement if A 0 , then B 0 , which is similar to the starting one, but provable. We think that this procedure, based on the extrapolation method, can be considered a basic methodological tool applicable to prove–refute–improve any conjecture. This new notion, extrapolation, presents a dual counterpart of the well-known interpolation introduced in traditional logic sixty-five years ago

Jezik

engleski

Datum

2022

Licenca

Ovo delo je licencirano pod uslovima licence
Creative Commons CC BY 4.0 - Creative Commons Autorstvo 4.0 International License.

http://creativecommons.org/licenses/by/4.0/legalcode

Predmet

Keywords: extrapolation; interpolation; proving; refuting; improving

Deo kolekcije (1)

o:28218

Ekonomski fakultet