Switch to: References

Add citations

You must login to add citations.
  1. Proof Systems for BAT Consequence Relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - 2019 - Philosophia Mathematica 27 (1):61-87.
    We analyse Kreisel’s notion of human-effective computability. Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done. The resulting two different ways of analysing human-effective computability give rise to two different variants of Church’s thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Informal Proof, Formal Proof, Formalism.Alan Weir - 2016 - Review of Symbolic Logic 9 (1):23-43.
  • Informal and Absolute Proofs: Some Remarks From a Gödelian Perspective.Gabriella Crocco - forthcoming - Topoi:1-15.
    After a brief discussion of Kreisel’s notion of informal rigour and Myhill’s notion of absolute proof, Gödel’s analysis of the subject is presented. It is shown how Gödel avoids the notion of informal proof because such a use would contradict one of the senses of “formal” that Gödel wants to preserve. This Gödelian notion of “formal” is directly tied to his notion of absolute proof and to the question of the general applicability of concepts, in a way that overcomes both (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference.Yacin Hamami - 2014 - Philosophia Scientiæ 18 (1):7-26.
    Mathematical rigor is commonly formulated by mathematicians and philosophers using the notion of proof gap: a mathematical proof is rig­orous when there is no gaps in the mathematical reasoning of the proof. Any philosophical approach to mathematical rigor along this line requires then an account of what a proof gap is. However, the notion of proof gap makes sense only relatively to a given conception of valid mathematical reasoning, i.e., to a given conception of the validity of mathematical inference. A (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Many-Valued Logic of Informal Provability: A Non-Deterministic Strategy.Pawel Pawlowski & Rafal Urbaniak - 2018 - Review of Symbolic Logic 11 (2):207-223.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark