Utah Logic Highlights (2007)

Back to 2005 minutes (No minutes were kept for 2006)

Most recent meeting

2007 Meeting Index

• January
• February
• March
• April
• May
• June
• July
• August
• September
• October
• November
• December

Meetings

(In reverse chronological order)

Note that, while meetings continued, there was no designated note taker after May.

May

Next meeting

2007-05-25

*** most recent meeting:

2007-05-18

• Validity vs. Soundness, formal and practical
• "Socially Unacceptable Language"
  • Children's learning, where and when?
  • Should it be formally taught to new speakers? (ESL)
  • "Proper" use of "Improper" language
  • Cross cultural similarities and Differences
  • Reasons for the linguistic observation that "Socially unacceptable" changes more slowly that a language overall
• Language and Imprecision
  • Quine
  • Language "meaning" as approximation

2007-05-11

• Wm. A Dumske's probablity and anthropic principle - Brent C. Richards
• "Don't pick your friends based on political affiliation - you gotta have a basis for conversation." - LeMar Timothy
• Correct form of address for a law student that graduated at the bottom of his class

2007-05-04: No notes availiable

April

2007-04-27: No notes availiable

2007-04-20: Notes lost?

2007-04-13

• The "Beth Salay" effect: History and Implications - John Halleck
• The "Beth Salay" effect: History and Detail - Beth Salay
• People with the same names: practical and social issues - John Johnston
• New University Class this fall: History of Logic - LaMar Timothy
• Proof Roundtable (At least Konrad Slind, David Bennett, LeRoy Eide, John Halleck, Cliff McIntosh)
  • What is a "proof"
  • The Royal Society's special topic issue on Proof - John Halleck
  • Cultural relativeness in "acceptable proof"
  • "Correct" or "Proper" standard of proof
    • Relative to what?
    • Poincare Conjecture proof history. Grand idea vs. Fill in the blanks. Which is the "real" proof?
    • Does it become a real proof only when the gaps are filled in?
  • "Well, Duh!" proofs vs. Hilbertian proofs - Konrad Slind
  • Intuitive Geometry vs. Hilbertian proofs - David Bennett
    • The checkerboard covering problem (dominos)
  • The Jordan curve theorem, need for proof vs. availiable tools - John Johnston
  • Logic and proof in CS, Europe and America - Konrad Slind
  • Proof as argument where gap filling is the responsibility of the Author
  • Is there a Rigor vs. Understandability trade off?
  • Gap filling in proofs "down to the sub atomic axiom" level
  • G. Hardy's "Its obvious" story and proof in mathematics - Cliff McIntosh
  • Proof as point of view shift, and view point maintenance - John Halleck
  • Standards: Euclid's Geometry, and Hilbert's gap finding
• "Wellfounded Induction on the Ordinals up to ε₀" - Konrad Slind
• Raw Unification applied to statements is, in some D-incomplete systems, stronger than Condensed Detachment alone. - John Halleck
• Student Housing, Roommates, and Cost Effectiveness - Rod Dixion
• ... [Note taker left early] ...

2007-04-06

• IRS strategies - Rod Dixon
• Statistical bias in Greetings - John Johnston
• The goal of dying broke, but not spending any time broke. - Dylan Pocock
• Free will - David Bennett and Clif McIntosh
• Relationships roundtable
  • Historicaly changing patterns of Commitment vs. "shack-up"
  • Long term commitment pros and cons
• Law School Fund raising strategies - Rod Dixon.
• "Surprise me." - LaMar Timothy
• "Most of my regrets are sins I didn't commit..." - John Johnston
• "... any one of which would have negated the possibility of the others" - Dylan Pocock
"

March

2007-03-30

• Intuitionist Logic - John Johnston
• "Truth" vs. "Follows from" - David Bennett
• Formalism vs. Intuitionism - John Halleck
• Phantom pain vs. moving pain - ?
• Sematics and logics - Clif McIntosh
• Discussion of Provability and Logic
• "Intelleged" vs. Intelegible: confusibility - David Bennett
• "Finding what you are looking for behind an assumption" - Dylan Pocock
• Special relativity vs. Absolute Space - LeRoy Eide
• Gödel, rotating space, and time-like loops - ?

2007-03-23

• [*** Notes missing ***]
• Questioning the status of Inclusive vs exclusive "or" in English and in Logic - Cliff McIntosh
• [In English] Why "OR" is "XOR" and "AND" is "OR" - LeRoy Eide
• Are all "connectives" in English mearly grammatical markers?' - John Halleck
• More free will discussion.
• ? - David Bennett
• ? - LaMar Timothy
• ? - John Johnston

2007-03-16

• T.S. Elliot vs. Burtrand Russel, Ethics and Marital relationships
• Proof roundtable
  • Fermat's Proof, Proofs in General, The nature of proofs today
  • Metamath and the nature of Mathematical proof today
  • "Mistakes in proofs" vs. "air tight" proofs vs. "conventional" proofs
    • Social (community) standards of proof, vs "Proof" (with a capital P)
    • Is there a "True" (with a capital T) notion of "Proof"? - David Bennett
    • What is the nature of "Proof" that it makes sense to say "There is a good proof, but the proof has some 'harmless' mistakes in it.
    • "Rigorious" vs "machine checkable" proofs
  • Why mathematicians haven't lept on the "machine checkable" proof bandwagon.
  • Conventions in mathematics - John Johnston
  • Paul Erdös, proof, and community
  • Mathematical Simplification
  • The nature of "Obvious" in proof- Cliff McIntosh
  • Visualization and proof
  • Truth vs. Trial (in the sense of experiment)
• Analog vs. Digital computing - LaMar Timothy
• Graphs and visualization
  • The mutilated chessboard domino covering problem
  • The two knight problem on a three by three chessboard.
  • The problem of telling lists with loops from infinite lists
  • The underlying similarity of the structure of the prior two items - John Halleck
  • The Hailstone problem, and the prior three items. - LeRoy Eide

2007-03-09

• Why you can look at Milk as being an Ethanol manufacturing byproduct - LaMar Timothy
• New Visitor Introductions
• More Double slit (with protection) disucssion
• History of Sugar in Utah: - LaMar Timothy
  • Sugarhouse, missing enzymes, Brigham Young vs John Cannon
  • Sugar beets vs. Sugar Cane vs. U&I sugar vs. Government subsidies
• Cows as being "only" bacteria containers - LeRoy Eide
• Mechanical proof of the well-foundedness of the ordinals up to ε₀ - Konrad Slind
  • ... and set theory - David Bennett
  • Starting assumptions? - Cliff McIntosh [STT - editor]
• Alleged non-mechanical proofs: Conjecture + rationale? - John Halleck
• Free will roundtable.
  • Historical contexts for the problem never dying.
  • Current views
  • Can we afford for it to be free?
  • If it exists, do most people exercise it very often? - John Johnston
  • Obsessive Compulsive Disorder - Dylan Pocock
• Pain perception vs pain reality - John Johnston
• The "dummy rubber arm" experiments, perception vs reality - John Halleck

2007-03-02

• [Notes for this meeting were incomplete (partially illegible)]
• Ethics: Building in problems - John Johnston
• A.K. Sen's views on terrorism.
• New Double Slit experiment results - John Halleck
• Possible contradiction in Priest's "Non-classical logics" (5.33, 5.34, 5.5 - Cliff McIntosh
• "Saving the best for last": North Dakota - LeRoy Eide
• Cathrine the Great's influence on the prevalence of Russian sirnames in North Dakota
• Effecient Algorithms - John Halleck
• Reversals?
• Vacationing in areas with the largest proportion of Billionare Women - Rod Dixon,
• Distribution patterns of immigrants vs. cultural assimations: Viet Nam's boat people - John Johnston
• Japan - Dave (the younger) Iannucci, Dylan Pocock
• On good code never seeing the light of day... it never breaks, so nobody ever looks at it. - John Halleck
• ...

February

2007-02-23:

• LeRoy Eide
  • The Universe from the point of view of a photon (No time, no distance)
  • On being trapped in the here, and early childhood experience with mirrors.
  • On being trapped in the now
  • Languages that speak of the past before us and the future behind, because we can see forward and can remember the past.
  • Charles Ives: Composer and Mathematitian, the backwards march.
• John Halleck
  • On the rather odd similarities of male views of quantum mechanics, and male views of male physiology. The source of quantum mechanical analogys?
    • The double slit experiment
    • Things being different when observed
• Cliff McIntosh
  • Hulme on Barkley's arguments: "His conclusions admit to no refutation, but produce no conviction"
  • Global warming economics: On discounting long term effects
• David Bennett
  • Non-falsifiable theories vs. Interesting theories, is there a non-nil intersection?
• ?
  • The theoretical usefullness of beersteins and beer in philosophy.
    • Hilbert's Axioms, Beersteins, and tables
    • ... [illegible notes] ...

2007-02-16:

• [Note taker arrived late]
• LaMar Timothy: Too inventive for ones own good: Milking a cow
• Gardening Roundtable: John Johnston, David Bennett, John Halleck, LaMar Timothy
• Book Review - Cliff McIntosh: "Absolute Generality" (by ?)
• Robert Bargers Proposed Ethics book - John Halleck
• Litz's piano transcriptions of ? symphonies - Cliff Macintosh
• Fermat's Last Theorem - The proof and the importance to mathematics (or not) - John Johnston.

2007-02-09:

• [Note take arrived late] Those in attendence included:
  • John Johnston
  • Dylan Pocock
  • John Halleck
  • David Bennett
  • LeRoy Eide
  • Konrad Slind
  • Clif McIntosh
  • LaMar Timothy
• Software Documentation Deficiencies: Microsoft's Active-X - John Johnston
• Anna Timothy's Obituary - LaMar Timothy
• Characters in our Early Computer Science Department - John Halleck
  • Ron Resch
  • The late Bill Viavont
  • The late Ercolino Ferretti
• [Note taker left early]

2007-02-02:

• Display GUI issues: All possible paths thorugh a graph vs. paths through a graph - John Johnston
• Deciding something matches a collection of patterns vs. Deciding that something doesn't match a collection of patterns - John Halleck
• Examples in the Gap between ZF set theory and "An Axiom"'s set theory - David Bennett
• Building natural numbers
  • Standard set theory methods (Clif McIntosh?)
  • Quine's ordered pairs and concantination
  • [Notational:] "Bracket only" notations. [LeRoy's (()) notation]
• ? - Dylan Pocock
• Is Historical resistance to an explicit notation for zero inate or cultural? - LeRoy Eide
• Double negation vs "Yea, Yea" - David Bennett
• Strengths of Set Theories - David Bennett
  • ZF set theory
  • Quine's New Foundatons
  • "An axiom for set theory"
  • Von Neumann-Bernays- Gödel set theory
  • Simple type theory and Higher order logic
    • "2nd order logic is set theory in sheep's clothing..." - Quine
    • "... but it is very nice clothing and makes for very attractive sheep." - Konrad Slind
• HOL and principles vs. 1st order logic and axioms - Clifton McIntosh
• Categoricity of theories - David Bennett
• Roundtable: Comparison of experiences in departmental selection of Grad students. - Cliff McIntosh, Konrad Slind, David Bennett
• Roundtable; Ex's: friend or foe?

January

2007-01-26:

• Camera Exposure techniques, film vs. digital - Dylan Pocock, John Johnston
• Central Utah Lava fields and lava tubes- John Halleck
• Japan - Dylan Pocock
• Review: "7 virtues of Simple Type Theory" - David Bennett
• Psudo Noise Sequences and GPS psudocodes - LaMar Timothy
• Continued fraction: trees, graphs, and circuits - LeRoy Eide
• EE logic vs CS logic vs Philosophy logic - John Halleck
• Is there a difference between the value of an expression and the value it represents? - LeRoy Eide
• The Luck Gene - John Johnston
• Logic Teaching on campus - LaMar Timothy, David Bennett, Konrad Slind
• Caving - John Halleck
• Porsche Audi - Quatro - John Johnston
• Zermelo set theory, how much of Mathmatics can be built without the axiom of replacement? - David Bennett and Konrad Slind

2007-01-19:

• Ambiguity and (Gendered) communication. - LaMar Timothy, LeRoy Eide, John Johnston
• WGS84, the prime meridian, and the French - LaMar Timothy
• Sören Halldén's S0 (1948), Paraconsistent, AND a relevance logic. - John Halleck
• University Logic Courses and proposals - LaMar Timothy
• Railroad Switching - LaMar Timothy
• Obsolete historical parsing techniques: The Railroad Parser - John Halleck
• General Introductions - John Halleck
• History of Utahlogic - John Halleck, LeRoy Eide, David Bennett, Dylan Pocock
• Why Higher order logics? Russell's type theory, Church's logic, simple type theory, and set theory. - Konrad Slind
• Campus Computing History: The University of Utah Computer Center (A.K.A. ...) - LeRoy Eide
• The Minuteman Missile and the history of software verification. - LaMar Timothy
• (Note taker left early)

2007-01-12:

• Question for Metamath - David Bennett
• Aristotle's Logic - LaMar Timothy
• Logicians on Campus - Clif McIntosh
• Material Conditional, Teaching, and English - Clif McIntosh and David Bennett
• Sören Halldén's 1948 system S0, The first paraconsistant logic? - John Halleck
• HOL vs. Leon Henkin's results. "Why HOL?" - Clif McIntosh

2007-01-05:

• Axiom Schemata (LaMar Timothy, John Halleck, David Bennett, Clif McIntosh)
• LaMar Timothy
  • Martin Megill's MetaMath.org project
  • Analytic vs Romantic thinking.
• John Halleck
  • Theorem Proving ideas
  • Status of The $100 Modal Logic Challenge
• LeRoy Eide
  • Linguistic pragmatics
  • Ambiguity and the problems of listening to one's self talk
  • Why the "$1000 Modal Logic Challenge would not have worked.
• "The question asked" vs. the question answered. (David Bennett, Clif McIntosh, LeRoy Eide)

Go to ...

• 2006 (No meeting notes availiable)
• 2005 notes
• 2004 notes
• News page
• Back to Utah Logic home page
• Back to Philosophy Department home page.
• University of Utah home page

This page is http://web.utah.edu/utahlogic/news/news-2007.html
This page was last modified on Thursday, April 24, 2008