#### Filter Results:

#### Publication Year

1995

2016

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

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 [3] 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 .

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)

The field of computer science su↵ers from a lack of diversity. The Stanford Artificial Intelligence Laboratory's Out-reach 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)

- ‹
- 1
- ›