𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Concepts of Proof in Mathematics, Philosophy, and Computer Science

✍ Scribed by Dieter Probst;Peter Schuster

Publisher
Walter de Gruyter GmbH
Year
2016
Tongue
English
Leaves
384
Series
Ontos mathematical logic 6
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Logic, Symbolic and mathematical;Mathematics;Proof theory;Electronic books

πŸ“œ SIMILAR VOLUMES

Concepts of Proof in Mathematics, Philos
πŸ“ Concepts of Proof in Mathematics, Philosophy, and Computer Science
✍ Dieter Probst (editor); Peter Schuster (editor) πŸ“‚ Library πŸ“… 2016 πŸ› De Gruyter 🌐 English

<p>A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the proto

Concepts of Proof in Mathematics, Philos
πŸ“ Concepts of Proof in Mathematics, Philosophy, and Computer Science
✍ Dieter Probst, Peter Schuster (eds) πŸ“‚ Library πŸ“… 2016 πŸ› De Gruyter 🌐 English

This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the su

Proof and Computation: Digitization in M
πŸ“ Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
✍ Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg πŸ“‚ Library πŸ“… 2018 πŸ› World Scientific Publishing 🌐 English

<span><p>This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher

Conceptions and Consequences of Mathemat
πŸ“ Conceptions and Consequences of Mathematical Argumentation, Justification, and Proof (Research in Mathematics Education)
✍ Kristen N. Bieda (editor), AnnaMarie Conner (editor), Karl W. Kosko (editor), Me πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<p><span>This book aims to advance ongoing debates in the field of mathematics and mathematics education regarding conceptions of argumentation, justification, and proof and the consequences for research and practice when applying particular conceptions of each construct. Through analyses of classro

Thinking Machines and the Philosophy of
πŸ“ Thinking Machines and the Philosophy of Computer Science: Concepts and Principles
✍ Jordi VallverdΓΊ, Jordi VallverdΓΊ πŸ“‚ Library πŸ“… 2010 πŸ› Information Science Reference 🌐 English

Thinking Machines and the Philosophy of Computer Science: Concepts and Principles presents a conversation between established experts and new researchers in the field of philosophy and computer science about human and non-human relationships with the environment. This resource contains five sections