The concept of proof is briefly illuminated from mathematical, philosophical and historical perspectives, with a glance at theoretical computer science
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
In this paper, we discuss ways on how technology enables students to investigate mathematical ideas,...
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as it...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
This book is for graduate students and researchers, introducing modern foundational research in math...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal...
Guided by constructivism, which posits that students assimilate new knowledge into what has made sen...
Proof theory began in the 1920’s as a part of Hilbert’s program. That program aimed to secure the fo...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
The philosophy of mathematics has long been concerned with deter-mining the means that are appropria...
This paper continues the work entitled On Proof Techniques and Technology [see paper for reference],...
Two crucial concepts of the methodology and philosophy of mathematics are considered: proof and trut...
The notion of proof is central to mathematics yet it is one of the most difficult aspects of the sub...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
In this paper, we discuss ways on how technology enables students to investigate mathematical ideas,...
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as it...
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning fro...
This paper is an attempt to review the historically existing types of demonstration of mathematical ...
This book is for graduate students and researchers, introducing modern foundational research in math...
Without having a clear definition of what proof is, mathematicians distinguish proofs from other typ...
The aim of the paper is to study the role and features of proofs in mathematics. Formal and informal...
Guided by constructivism, which posits that students assimilate new knowledge into what has made sen...
Proof theory began in the 1920’s as a part of Hilbert’s program. That program aimed to secure the fo...
Some knowledge of what it means to construct a proof is an extremely important part of mathematics. ...
The philosophy of mathematics has long been concerned with deter-mining the means that are appropria...
This paper continues the work entitled On Proof Techniques and Technology [see paper for reference],...
Two crucial concepts of the methodology and philosophy of mathematics are considered: proof and trut...
The notion of proof is central to mathematics yet it is one of the most difficult aspects of the sub...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
In this paper, we discuss ways on how technology enables students to investigate mathematical ideas,...
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as it...
DOI
Add to ORKG