Slides
for
*How hard is it to prove that the square root of 2 is irrational?*,
part of an ASU mathematical science department colloquium in September, 2022.

Slides
for
*Three views of LPO and LLPO*
a talk given in April 2022 in the Midwest Computability Theory seminar.

Slides
for
*Reverse mathematics and Banach's Theorem*
a talk given in December 2021 in the Cross-Alps Logic Seminar.
The "preliminary conservation results" on the last slide are
possibly incorrect.

Slides
for
*Weihrauch analysis motivated by finite complexity,*
a talk given in February 2021 in the computability special session
at the SouthEAstern Logic Symposium, a virtual conference hosted by
the University of Florida in Gainesville, Florida.

Slides
for
*Current thoughts on Hindman's Theorem,*
a talk given in February 2021 in the Computability Theory and Applications online seminar.

Slides
for
*Questions about Hindman's Theorem,*
a talk given in September 2019 in BIRS workshop on Reverse Mathematics
of Combinatorial Principles held in Oaxaca Mexico.
A video
has been published by BIRS.

Slides
*More reverse mathematics motivated by finite complexity theory,*
a talk given in the special session in honor of Steffen Lempp held at the
AMS 2019 Fall Central Section Meeting in Madison, Wisconsin.

Slides
for
*Reverse mathematics and colorings of hypergraphs,*
a talk given in April 2019 in the Department of Mathematics Colloquium of the College of Charleston.

Slides
for
*OCSA: Research in reverse mathematics,*
a talk given in January 2019 in the Mathematical Sciences Department Colloquium
of Appalachian State University.

Slides
for
*Reverse mathematics and colorings of hypergraphs,*
a talk given in January 2019 at the winter meeting of the Association for Symbolic Logic,
held in conjunction with the Joint Mathematics Meetings in Baltimore, Maryland.

Slides
for
*Fostering International Student Research in the Mathematical Sciences,*
a talk given on November 14, 2018 as part of the
Appalachian Global Symposium held
at Appalachian State University.

Slides
for *Leaf management,*
a talk given in September 2018 at
Dagstuhl Seminar 18361
held at the Leibniz-Zentrum für Informatik.

Slides
for
*Hindman's theorem and ultrafilters,*
a talk given in July 2018 at
RaTLoCC 2018
held at the Bertinoro International Center
for Informatics.

Slides
for
*A weak coloring principle,*
a talk given on July 11, 2018 at the
Workshop on Ramsey Theory and Computability
held
at the Rome Global Gateway of Notre Dame University.

Slides
for
*Counting uses of a theorem,*
a talk given on October 21, 2016 in the Logic Colloquium of the
University of Connecticut Logic Group, Storrs, CT.

Slides
for
*Graphs, reverse mathematics and Weihrauch reductions,*
a talk given on October 17, 2016 in the CT Logic Seminar in
the Department of Mathematics at the University of Connecticut, Storrs, CT.

Slides
for
*Counting uses of a theorem,*
a talk given on October 7, 2016 in the Mathematical Sciences Colloquium at
Appalachian State University.

Slides
for
*A reverse mathematics demonstration,*
a talk given on August 26, 2016 in the Mathematical Sciences Colloquium at
Appalachian State University.

Slides
for
*Counting uses of Ramsey's theorem,*
a talk given on July 5, 2016 at the Workshop on Computability Theory (WCT 2016),
held at Universiteit Gent, Belgium.

Slides
for
*Reverse mathematics of matroids,*
a talk given on May 25, 2016 at the Annual North American Meeting of the Association
for Symbolic Logic, held at the University of Connecticut.

The
schedule
For
*
The foundational impact of recursion theory,
* a collection of talks in honor of Steve Simpson's 70th birthday, held at
the University of Connecticut at Storrs on May 22, 2016. Much more information
can be found at the conference
website.

The program for the winter meeting of the Association for Symbolic Logic, held January 6-9 of 2016 in Seattle, Washington.

Slides
for
*
Uniform reduction and reverse mathematics
*
a talk given on October 4, 2015 at the AMS Central Fall Sectional Meeting in Chicago, Illinois.

Slides
for
*
Formalized reducibility
*
a talk given on September 26, 2015 in Dagstuhl Seminar 15392.
A report on the workshop can be found at
http://dx.doi.org/10.4230/DagRep.5.9.77.

Slides
for
*
Sets and Sequences
*
a talk given on April 23, 2015 in the Dartmouth Mathematics Colloquium.

Slides
for
*
Graphs, computability, and reverse mathematics,
*
a talk given on May 21
at the 2014 North American Annual Meeting of the Association for Symbolic Logic,
held at the University of Colorado in Boulder.

Slides
for
*
Reverse mathematics, graphs, and matchings,
*
a mathematics colloquium given at Marshall University on March 11, 2014.

Slides
for
*
Ada and Alan's theoretical machines
*
a talk given at Marshall University on March 10, 2014.

Slides
for
*
Reverse mathematics, graphs, and matchings,
*
a mathematics colloquium given at Allegheny College on October 17, 2013.

Slides
for
*
Three tales about Weak Konig's Lemma,*
a talk given in the logic seminar
at the Ohio State University on November 20, 2012.

Slides
for
*
Reverse mathematics: Constructivism and combinatorics,*
a talk given in the Mathematical Sciences Colloquium
at Appalachian State University on September 7, 2012.

Slides
for
*Reverse mathematics and field extensions*
a talk given at the Association for Symbolic Logic
2012 North American Annual Meeting on
April 1, 2012.

Slides
for
*Reverse mathematics and dichotomy*
a talk given at the Joint Mathematics Meetings in Boston on
January 6, 2012.

Information about the Life and Legacy of Alan Turing, a special session held at the 2012 Joint Mathematics Meetings in Boston.

Slides
for
*Reverse mathematics and persistent reals*
a talk given at the Midwest Computability Seminar X on November 1, 2011.

Slides
for
*Two familiar principles in disguise*
a talk given in the Notre Dame Logic Seminar on October 27, 2011.

Slides for
*Research resources use in the production...*
a talk given at the Research Services Fair at Appalachian State University
on October 21, 2011.

Slides for
*Two combinatorial proofs and some related questions*
a talk given at the Reverse Mathematics Workshop
at the University of Chicago on September 17, 2011.

Slides for
*Reverse mathematics: Constructivism and combinatorics,*
a talk given at Foundational Questions in the Mathematical Sciences,
a meeting sponsored by the John Templeton Foundation at the
International Academy Traunkirchen, Austria on July 10, 2011.

Slides for
*More reverse mathematics of the Heine-Borel theorem*
a talk given in the ASL session
at the Joint Mathematics Meetings
in New Orleans on January 7, 2011.

Slides for
*Reverse mathematics and constructive analysis*
a talk given in the special session on Logic and Analysis
at the Joint Mathematics Meetings
in New Orleans on January 7, 2011.

Slides for
*Reverse mathematics of two theorems of graph theory*
a talk given in the Mathematics Colloquium
at the College of Charleston on March 5, 2010.

Slides for
*Introduction to reverse mathematics with applications,*
a talk given in the CUNY Logic Workshop at The City
University of New York on February 5, 2010.

Slides for
*Introduction to reverse mathematics,*
a talk given at
Reverse Mathematics: Foundations and Applications,
a workshop at the University of Chicago on November 6, 2009.

Slides for
*Ramsey theory and reverse mathematics,*
a talk given at Foundational Adventures, a conference
in honor of the 60th birthday of Harvey Friedman,
in Columbus Ohio on May 15, 2009.

Slides for
*The strength of the polarized Ramsey's theorem,*
a talk given in an ASL session at the Joint Mathematics Meetings
in Washington DC on January 8, 2009.

Slides for
*Two variants of Ramsey's theorem,*
a talk given at the workshop on Computability, Reverse Mathematics
and Combinatorics at the Banff International Research Station
on December 8, 2008.

Slides for
*Coloring problems and reverse mathematics,*
a talk given in the Mathematics Colloquium
at Dartmouth College on October 16, 2008.

Slides for
*Variants of Ramsey's Theorem,*
a talk given in the Logic Seminar at the University
of Chicago on March 8, 2008.

Slides for
*Just-in-time precalculus reviews for calculus students,*
a talk given in an MAA session at the Joint Mathematics Meetings
in San Diego on January 9, 2008.

Slides for
*Reverse Mathematics and Gödel's Dialectica Interpretation,*
a talk given in an ASL session at the Joint Mathematics Meetings
in San Diego on January 8, 2008.

Slides for
*Ramsey's theorem on trees,*
a talk given in the special session on Computability Theory
at the Annual meeting of the ASL in
Gainesville on March 11, 2007.

Slides for
*Overcoming barriers to undergraduate research in logic,*
a talk given in the special session on Logic Research
for Undergraduates at the Annual meeting of the ASL in
Gainesville on March 10, 2007.

Slides for
*Nonuniformity in reverse mathematics,*
a talk given in the University of Florida
Logic Colloquium on October 13, 2006.

Slides for
*Reforming an introduction to modern algebra,*
a talk given in an MAA session at the Joint
Mathematics Meetings in San Antonio on January 15, 2006.

Slides for
*Representations of reals in reverse mathematics,*
a talk given in an ASL session at the Joint
Mathematics Meetings in San Antonio on January 14, 2006.

Slides for
*Things I've tried,* a talk given at ASU
about assessment techniques used in math courses.

The program for the AMS-MAA-MER-ASL Special Session on Mathematics Education Reform and Logic Education held at the 2005 Joint Mathematical Meetings in Atlanta. (Jeff Hirst was the ASL organizer for the session.)

The program for the AMS-ASL Special Session on Reverse Mathematics held at the 2005 Joint Mathematical Meetings in Atlanta. (Organized by Jeff Hirst and Reed Solomon.)

Slides for
*Reverse analysis,* a talk given in the
George Washington University Mathematics Colloquium
on November 19, 2004.

Slides for
*A real tour of reverse mathematics,* a talk
given in the George Washington University Logic Seminar
on November 19, 2004.

Slides
for *Job opportunities for mathematics majors,*
a seminar delivered at Appalachian State University
on March 2, 2004.

Slides for
*Computing minima of some reals,*
a talk for the University of Dallas Mathematics Colloquium
given on January 30, 2004.

Slides for
*A brief tour of reverse mathematics,*
a talk for the Computability Seminar at the
University of Dallas given on January 29, 2004.

Slides for
*Minima of initial segments of sequences of reals,*
a talk given in the ASL session at the Joint Mathematics
Meetings in Phoenix on January 10, 2004.

Materials related
to *Using technology to illustrate level curves,*
a joint talk with Holly Hirst given in the MAA session
on "My favorite demo" at the Joint Mathematics Meeting in
Phoenix on January 10, 2004.

Slides for
*Counterintuitive aspects of computable analysis,*
a talk given at the Southwest Wisconsin Logic Seminar in
Madison on November 4, 2003.

Slides and a related
draft article for
*Milliken's Theorem, Ultrafilters, and Reverse Mathematics,*
a talk given at the annual meeting of the ASL in Chicago
on June 1, 2003.

Slides for
* Venn Diagrams and Logic,*
a Discrete Mathematics Workshop given at
the Broyhill Inn in Boone on February 11, 2003.

Slides and additional
notes for
*Hindman's Theorem, Ultrafilters, and Reverse Mathematics,*
a talk given at the ASL session
at the Joint Mathematics Meetings in Baltimore on January 18, 2003.

Slides for
*Logic as a Bridge Course,*
presented as part of a
joint ASL-MAA panel discussion on "The Role of Logic in
Learning to Write Proofs," at the Joint Mathematics Meetings
in Baltimore on January 16, 2003.

Slides for
*Graphs and Models,*
a talk given at the Seventh Annual North Carolina Miniconference
on Graph Theory, Combinatorics and Computing held at Appalachian
State on April 12, 2002.

Slides for
*Reverse mathematics of transfinite triangular numbers,*
a talk given at the ASL meeting in San Diego on January 9, 2002.

Slides for
* Junior Seminar: An undergraduate research incubator,*
a talk given at the MAA meeting in San Diego on January 6, 2002.

Slides for
*Graphs, free sets and reverse mathematics,*
a talk given at the regional meeting of the ASL held
in Mineapolis on May 3, 2001.

Slides for
*Reverse mathematics of free sets,*
a talk given at the
Notre Dame and University of Wisconsin Logic Seminars during
on March of 2001.

Slides for
*Reverse mathematics of ordinal arithmetic,*
a talk given at the annual meeing of ASL in Philadelphia
on March 10, 2001.

Slides for
*A brief introduction to reverse mathematics,*
the keynote address given at the
Graduate Student Conference in Mathematical Logic at
the University of Illinois
on February 17, 2001.

Slides for
*Reverse mathematics and the Heine/Borel theorem*,
a talk given at the winter meeting of the ASL in New Orleans
on January 12, 2001.

The slides for
*WebCT Quizzes in Precalculus and Calculus*,
a talk given at the winter meeting of the MAA in New Orleans
on January 10, 2001.

HTML files
for *Delivering Web-based Quizzes in Precalculus
with WebCT*, a talk given at ICTCM13 in Atlanta on
November 18, 2000.

Slides and
notes for
*Reverse mathematics and Brouwer's fixed point theorem,*
a talk given at the annual meeting of the ASL in Champaign-Urbana
on June 4, 2000.

Slides for
*Counting, Graphs and Bells,* a talk given at the
Fifth North Carolina Mini-Conference on Graph Theory,
Combinatorics and Computing, held at Appalachian State on April 14, 2000.

Slides for
*Reverse Mathematics and Graphs,* a talk given
at Notre Dame on February 17, 2000.

The slides for
*Models and Reverse Mathematics,* an invited talk
given in the special session on computable models at
the Winter ASL meeting in Washington on January 23, 2000.

Some of the
slides for
*Web-based Homeworks and Quizzes,* a joint talk
with J. Smith and H. Hirst given at the Winter MAA meeting
in Washington on January 19, 2000.

The slides for
*Using WebCT in a precalculus course,* a talk given
at the ASU Technology Conference on December 2, 1999.

The slides
for
*Teaching the techniques of proof,*
a joint talk with Holly Hirst given at the Winter MAA meeting
in San Antonio on January 14, 1999.

The slides for
*Reverse mathematics and derived sortings,*
a talk given at the Winter ASL meeting in San Antonio
on January 16, 1999.

The slides and
the Maple worksheet for
*A Graphical Tool for Analysis Courses,*
a talk given at the International Conference on Technology in
Collegiate Math in New Orleans on November 21, 1998.

The slides for
*Reverse Mathematics and Graphs,*
a talk given at Wake Forest University on October 15, 1998.

Excerpts from a poster
on
* Applying Technology in Pure Mathematics Courses for Undergraduates*
that was coauthored with Holly Hirst and presented at the
International Conference on the Teaching of Mathematics on
the island of Samos in Greece.

The slides for
*Infinite Graphs and Noncomputability*
a talk given at the Third Annual North Carolina Mini-Conference
on Graph Theory, Combinatorics, and Computing.

The slides for
*The Mathematics Honors Program at Appalachian State University*
a talk given at the meeting of the SE Region of the MAA in
Charleston.

A Graphical Tool for Linear Algebra (Information about and Maple code for eshow).

Back To: Math or Jeff Hirst's Page.