What is a proof? Is a proof just a verification that a statement is true or is it also a key for understanding the theory in which the corresponding theorem is stated?

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Introduction

  • Alexander Leitsch,
  • David Michael Cerna,
  • Anela Lolic

摘要

What is a proof? Is a proof just a verification that a statement is true or is it also a key for understanding the theory in which the corresponding theorem is stated?