Switch to: References

Add citations

You must login to add citations.
  1. The Web as A Tool For Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2012 - Metaphilosophy 43 (4):480-498.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proofs as Spatio-Temporal Processes.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - Philosophia Scientiae 18:111-125.
    The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc. In this paper, we develop Goguen’s general concept of proof-events and the methodology of algebraic semiotics, in order to define the concept of mathematical style, which characterizes the proofs produced by different cultures, schools or scholars. In our view, style can be defined as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Web as A Tool For Proving.Ioannis M. Vandoulakis Petros Stefaneas - 2012 - Metaphilosophy 43 (4):480-498.
    The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Evidence, Proofs, and Derivations.Andrew Aberdein - 2019 - ZDM 51 (5):825-834.
    The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations