Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
131 tokens/sec
GPT-4o
10 tokens/sec
Gemini 2.5 Pro Pro
47 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Set Theory for The (Smart) Masses (1507.05037v1)

Published 22 Jun 2015 in math.HO

Abstract: Proof Designer is a computer software program designed to help Mathematics students learn to write mathematical proofs. Under the guidance of the user, Proof Designer assists in writing outlines of proofs in elementary set theory. Proof Designer was designed by Daniel Velleman in association with his book "How To Prove It: A Structured Approach" to help students apply the methods discussed in the book, making classes based on the book more interactive. This article is an early report on the progress of our effort to "bring set theory to the masses" by developing Proof Maker, a new Proof Designer-inspired software that ports Proof Designer to hand-held devices such as smart-phones and tablets. Proof Maker, when completed, will allow students to use Proof Designer with the ease of a touch, literally, on their smart devices. Our goal behind developing Proof Maker is to enable any one who is interested enough to develop elementary set theory proofs anywhere he or she might be (think of doing proofs while waiting at a bus stop!) and at any time he or she wishes (think of writing proofs before going to bed, or even in bed!). In this paper we report on the improvements we made to Proof Designer so far, and on the (many) steps remaining for us to have a fully-functioning Proof Maker "in our hands".

Summary

We haven't generated a summary for this paper yet.