The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics courses, allows students to easily input mathematical expressions, apply proof strategies , verify logical inference, and apply mathematical rules. Each course has its own… (More)
We describe a model-theoretic approach to ordinal analysis via the finite com-binatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with com-binatorial properties that, in nonstandard instances, give rise to models of the theory being… (More)
We use model-theoretic methods described in  to obtain ordinal analyses of a number of theories of first-and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ 0 .
Simulation-based training is becoming an accepted tool for educating physicians before direct patient care. As ultrasound-guided regional anesthesia (UGRA) becomes a popular method for performing regional blocks, there is a need for learning the technical skills associated with the technique. Although simulator models do exist for learning UGRA, they either… (More)
The field of computer science suffers from a lack of diversity. The Stanford Artificial Intelligence Laboratory's Outreach Summer (SAILORS), a two-week non-residential free summer program, recruits high school girls to computer science, specifically to Artificial Intelligence (AI). The program was organized by graduate student and professor volunteers. The… (More)