Can I read Syntactic vs. Semantic Proofs in Math on EtoBox?

Syntactic vs. Semantic Proofs in Math by Chakib Bett is a document available to read on EtoBox.

What is Syntactic vs. Semantic Proofs in Math about?

The document distinguishes between two types of proof productions: syntactic and semantic. Syntactic proofs are constructed by manipulating symbols and definitions, while semantic proofs use intuitive representations or instantiations of concepts to guide formal inferences. The paper presents two case studies, one in group theory and one in real analysis, to illustrate the differences. The group theory study examines undergraduates and doctoral students proving statements about group isomorphisms. It finds

Author

Chakib Bett

Language

EN