Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/talks/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/talks/Talks.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>Talks</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>

<body>
<h1>Talks</h1>
<p>All the slides linked here are PDF files. Although your browser may be able to display a PDF,  generally they
will look better if you open them in Adobe Reader.  Therefore, rather than just clicking the links to the slides,  you may want to right-click 
it and download, then double-click the downloaded file to open it in Adobe Reader. </p>

<p> Once you open the PDF file in Adobe Reader, choose View | Full Screen, and then press Enter to advance to the next slidex.</p>
<h3>Large Solutions of the Pell Equation: Data and Conjectures</h3>
<p>I gave <a href="talks/PellSlidesWCNT2022.pdf"> this 15 minute talk</a> at the West Coast Number Theory Conference, December 16, 2022. </p> 
<h3>Triangle Tiling</h3>
<p>I gave <a href="talks/TriangleTilingSlides.pdf"> this one-hour talk</a> at the UC Santa Cruz mathematics colloquium, January 22, 2019. </p> 
<h3>Proof-checking Euclid</h3>
<p> I gave <a href="talks/ProofCheckingEuclidSlides.pdf"> this one-hour talk</a> several times: <br>
<ul>
 <li> logic seminar in Munich (October 11, 2017) </li>
 <li>logic seminar in Utrecht (October 25, 2017)</li>
  <li>Institute for Cybernetics, Artificial Intelligence, and Robotics in Prague (November 2, 2017) </li>
 <li>Mathematics Colloquium at the University of Cairo (November 15, 2017) </li>
 <li>Colloquium of the Group on Logic, Methodology, and Philosophy of 
Sciences at the University of California, Berkeley (February 9, 2018)</li>
 <li>Mathematics Colloquium of the University 
of California, Santa Cruz (February 27, 2018).
</ul>
</p>
<h3>Tarskian Geometry and Ruler-and-compass constructions </h3>
<p> I gave   <a href="talks/StanfordLogicSeminarApril2014.pdf"> this one-hour talk</a>
at the Stanford Logic Seminar, April 15, 2014.
</p>
<h3>Proof and Computation in Geometry</h3>
<p>I gave <a href="talks/EdinburghSlides.pdf">this 60-minute talk </a> in Edinburgh, UK, September 19, 2012, at a conference on Automated Deduction in Geometry. </p>
<h3>Logic of Ruler and Compass Constructions</h3>
<p> I gave <a href="talks/CambridgeSlidesJune2012.pdf"> this fifteen-minute talk </a> in Cambridge, England, June 19, 2012.</p>
<h3>Foundations of Constructive Geometry</h3>
<p> I gave <a href="talks/StanfordSlidesMarch2012.pdf"> this one-hour talk</a>   
at the Stanford logic seminar, March 13, 2012; and essentially the <a href="talks/UtrechtSlidesJune2012.pdf"> same talk</a> in Utrecht, June 11, 2012.</p>
<h3>Triangle Tiling</h3>
<p> I gave <a href="talks/TriangleTilingSlides.pdf">this ten-minute talk</a> at the AMS meeting in Boston, January, 2012.</p>
<h3>The Parallel Postulate in Constructive Geometry </h3>
<p>I gave <a href="talks/ParallelIndependenceSlides.pdf">this talk</a> at the Symposium on Constructive Geometry, Stanford, October 24, 2009. For further background see the talk on Constructive Geometry linked below. 
<h3>Finiteness in Plateau's Problem </h3>
<p>I gave <a href="talks/FinitenessSlides.pdf">this talk</a>  at the Bay Area Differential Geometry Seminar, Stanford, January 31, 2009.  The last section was updated in 2015.
<h3>Mathematical Logic and Computers: some interesting examples</h3>
<p>I gave<a href="talks/LogicAndComputersSlides.pdf"> this talk </a> in Kobe, Japan, on August 31, 2008.</p>
<h3>Constructive Geometry</h3>
<p>Versions of this talk were given in Leiden, January 2007, and in the Stanford Logic Seminar, February 2007.  
<a href="talks/ConstructiveGeometrySlides.pdf">These slides </a>are a long version, presenting the state of the work in August, 2008.
A <a href="talks/KobeGeometrySlides.pdf">shortened version</a> was given
in Kobe, Japan, in September, 2008.  
<h3>The Meaning of Existence </h3>   
<p>I gave <a href="talks/MeaningOfExistence.pdf">this talk</a> at a meeting of the MAA in August, 2007, in San Jos&eacute;, California, and again at the Philosophy Department Colloquium in San Jos&eacute; in March, 2009. </p>
<h3>The Mechanization of Mathematics</h3>
<p>I gave <a href="talks/BAMA-2005.pdf">this talk</a> at a meeting of the BAMA (Bay Area Mathematics Association) in October, 2005. </p>
<h3>Constructibility, Computability, and the Continuum. </h3>
<p>I gave <a href="talks/ASL-2005.pdf">this talk</a> at the Stanford ASL meeting, March 2005. </p>
<h3>Implicit Typing in Lambda Logic</h3>
<p>I gave <a href="talks/Jamaica.pdf">this talk</a> at the ESHOL workshop of the Logic Programming and Automated Reasoning (LPAR-12) meeting in Jamaica, 2005.</p>
<h3>Automatic Derivation of the Equation of Motion of a Pendulum</h3>
<p>I gave <a href="talks/PendulumEquation.pdf">this talk</a> at the Stanford Artificial Intelligence Seminar
in April, 1987; and again at the UCSC math colloquium in May, 1987; but somehow never got around to publishing the work.  Now the original computer program seems to be lost.</p>
</body>
</html>

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists