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.