Utah Logic Highlights (2005)

Back to 2004 minutes

2005 Meeting Index

Most recent meeting

Tentative Agenda

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

Meetings

December

2005.12.30 [No note taker]

2005.12.23 (No meeting, University shut down for Christmas)

2005.12.16 [notes lost]

2005.12.9: [No note taker]

2005.12.2: [No note taker]

November

2005.11.25 (no meeting, US Holiday, Thanksgiving)

2005.11.18

• LaMar Timothy
  • "God created the integers, the rest is the work of man" (And historical context)
• LeRoy Eide
  • The relative transitivity of "God givenness"
  • Pre transitivity: If you have foundational axioms for something "God given", are they God given?
• John Halleck
  • On multiple foundations for a system
  • Are foundations necessary?
• David Bennett
  • Foundations of Mathematics, set theory and the integers
• John Johnston
  • Foundation of foundational views
• Clif McIntosh
  • History of foundational views

2005.11.11

• LeRoy Eide
  • Wick Miller's memorial fund (Linguistics)
  • Linguistic Self Reference, and a manner in which it doesn't happen in.
  • Preformative utterances as self reference:
    • "I declare you a knight of the realm.
    • "I now declare you man and wife" (and the function of "now")
• Clif McIntosh
  • Free variables vs. Quantification
    • Hilbert's 1925 paper on the Infinite
    • "Three grades of modal involvement" by Quine.
  • The morning star vs. The evening star arguments, and modality.
  • IBM's announcement of mechanical checking of device driver correctness.
• John Johnston
  • The argument for multiple identity operators.
  • Early work on device driver correctness.
  • Constructive vs. Non-constructive proofs in Computer Science
• David Bennett
  • The argument against multiple identity operators
• John Halleck
  • Modal logics system bases: S1⁰ and S1, as the difference between a rule and an axiom. (Lp>p)
  • Free variables vs. Universal Closures (and the non equivalence thereof)
  • Proof carrying code
  • Constructive vs. Non-constructive proofs in Computer Science
• Tim French
  • DVDs, +/- R?
  • Device drivers

2005.11.04

• LaMar Timothy
  • George Boole's life
    • Climb up from lower class beginnings
    • Chaired a University Department, never got a University Degree
    • What he knew, or did not know, about quantification
  • GPS realities, errors in the early satellites, corresponding errors in early receivers.
  • Surveying Realities
    • Where are the control points?
    • What is the accuracy?
    • What do you want done with the error?
    • Field vs. Theory
    • First order control points (NGS)
    • The historic France vs England battle over the location of the prime meridian
• John Johnston
  • Comments on improving logic class explanations on quantification
  • Surveying realities
    • steel "chain"s vs. temperature and tension
    • Monumentation in Las Vegas' transition from worthless PLS sections to $1,000,000/frontage-foot surveying.
    • ATA, ALTA surveys
    • Retracing
    • Adverse Possession (Calif)
• Clif McIntosh
  • Tarski's World text book availability
  • Questions on Theory and Realities of GPS vs. Actual City Surveys
• John Halleck
  • Tarski's world alternatives
  • Surveying realities
    • Coordinates vs. Monuments
    • Retracement
    • Adverse possession (Utah)
    • NAD83
    • Paleolithic surveying

October

2005.10.28

• Aristotle's use of Category to resolve paradoxes - LaMar Timothy
• Use vs. Mention clarification to resolve paradoxes - Clif McIntosh
• Turn of the century foundational paradoxes - John Halleck
• Paradoxes - David Bennett
• ? - LeRoy Eide
• ? - John Johnston
• [Note taker left early]

2005.10.21

• "Is she is or is she isn't?"; Idiom and language - LeRoy Eide
• Comments on the Modal Logic $100 challenge - David Bennett
• Morphisms - John Johnston
• Definabliity round table - Clif McIntosh, David Bennett, John Halleck
• Categories, sets, definition of number - Lamar Timothy

2005.10.14

• Sets vs. Categories - David Bennett and LaMar Timothy
• Indo-European {g,k}n* roots: Knowing vs doing - LeRoy Eide
• Knowledge based reasons for olive oil's sacredness - John Halleck
• The significance of Prometheus stealing fire from the joint workshop of Athena and Hephestaus - Eric Hughes
• Roman philosophy book recommendations - Cliff Macintosh
• ? - Dylan Pocock
• ? - Ed Epstein

2005.10.07 - [No note taker]

September

2005.09.30 - [No note taker]

2005.09.23

• Societal Norms and Sexual flexibility (Sparta) - Cliff Macintosh
• Sexual flexibility and Inflexible Identity - John Johnston
• On being married to the same person 60 years - David Bennett
• Cultural and linguistic terminology vs. perceived sexual categories. - John Halleck
• Lust after vs. Live with. - LeRoy Eide
• Spread of native ? [Notes unreadable] - Dylan Pocock

2005.09.16

• "Categories, Classes, and Sets" - David Bennett, LaMar Timothy
• "Multiplying Infinities" - LeRoy Eide
• Linguistic implications of Cryptography - John Halleck
• ? - Young Dave Iannucci
• "History of the Acceptance of Concepts in Mathematics. - David Bennett, Clif McIntosh, LeRoy Eide
• [Note taker left early]

2005.09.09

• LeRoy Eide
  • A new balanced ternary fixed point format with nice properties and an unusual decimal analog.
  • Generalization to replication units in general.
  • Appropriate representations for replication units.
• John Halleck
  • The nature of objections to the computer proof of the four color map theorem.
  • Shannon Limits, and Low Density Parity Codes
• [...Notes missing...: Dylan Pocock, David Bennett LaMar Timothy, John Johnston, Clif McIntosh]

2005.09.02>

• The Robins Conjecture's significance to Automated Theorem Proving - John Halleck
• Condensed Detachment comments - David Bennett
• Chess Programs - John Johnston
• Preparation - ?
• "Road to Reality", Chapter 17 - Cliff McIntosh
• "Road to Reality", Chapter 17 - LeRoy Eide
• Galileo - LaMar Timothy

August

2005.08.26

• Balancing Checkbooks, and the Changing Views of age - John Johnston, David Bennett
• "Crepancy" and linguistic back formations - LaMar Timothy
• "Unwarranted Generalizations from too little data" as the secret to human language learning - LeRoy Eide
• Mental model revision - LeRoy Eide, Clif McIntosh
• Large Format Camera Lenses - ?
• LeRoy Eide's balanced ternary items.
  • On all ternary numbers having THREE representations if you allow the equivalent of repeating decimals.
  • 1/2 in balanced ternary Each doubled = 1
    • ...000000.+++++++++...
    • ...00000+.---------...
    • ...------.000000000...

2005.08.19

• Rhetoric - LaMar Timothy
• Does formal logic have a connection to the every day world? - Rod Dixon
• Assumptions of Symbolic Logic - John Halleck
• Inductive logic - Rod Dixon
• "Ivory Tower" logic vs. Reality - Rod Dixon
• Social implications of not having a care - ?
• Jackendoff and Linguistic Causal Theory - Dave J. Iannucci
• The Cafeteria Analogy of Language Structure - LeRoy Eide
• Language Evolution - John Johnston
• Korean Language Structure - John Johnston
• Greenberg's Role in Linguistics - Dave J. Iannucci
• Linguistic Taxonomy - LeRoy Eide

2005.08.12

• Godel, the Liar Paradox, and the Halting problem. - Discussion with David Bennett, LaMar Timothy, and John Halleck
• The mind-body problem vs. the bawdy-mind problem - David Bennett.
• The trip from Socially unacceptable to entertaining our children: Tom Learer, George Carlin, Shel Silverstein - discussion with John Halleck, John Johnston, LeRoy Eide, and others
• High school reunions - General discussion
• Book Review: "On Bullshit" by ? - LeRoy Eide

2005.08.05

• Balanced Ternary, Testing for even, and the Hailstone problem - LeRoy Eide
• LeRoy Eide's Fast, Easy, [clever] divide by two in balanced ternary - John Halleck
• Crater Lake - Fishing, Geology, and Quality of life. - Rod Dixon
• Image and World view - Clif McIntosh, John Johnston
• Gatoraid - Theory, practice, sugar and diabetes - Rod Dixon, David Bennett, John Halleck

July

2005.07.27

• Nudity
  • Small town Utah - LaMar Timothy
  • German Bavarians vs. Greek Manotians - John Halleck
  • Vernal [Utah] teens vs Big Brush Creek Cave - John Halleck
  • Sauna's - Rod Dixon
• "A fool and his money make a good party" - Dylan Pocock
• Misc topics - LeRoy Eide.

2005.07.22

• Proofs of Algorithm Correctness - John Halleck, David Bennett, LeRoy Eide
• Social Security identification requirements, vs. the Patriot Act, vs. House buying and selling - John Johnston, Clif McIntosh, Dylan Pocock
• Proofs based on representations vs. Proofs based on properties
• Agreement to give up on Penrose Chapter 16, and go on to 17.

2005.07.15

• The long life, and quick demise, of Analog Computing - LaMar Timothy
  • Initial unreliability of the digital computer (2,000 vacuum tubs)
  • Initial ease of the analog computer (10 tubes for the same problem)
  • The advent of the Transistor
  • Simulation of Analog by Digital Computers
  • Simulation of Digital by Analog Computers - (John Johnston)
• Emulation of one computer by another - ?
• First programming experiences - LeRoy Eide, et. al.
• Early computers of architecture no longer common:
  • Drum computers - John Johnston
  • Four operand instruction computers - John Halleck
  • Analog machines - LaMar Timothy
  • Universal vs. Simple Turing machines - David Bennett, John Halleck, Dylan Pocock
  • Babbages's Universal Engine: the manner in which it isn't a Von Neumann machine.
• History and changing demographics of the Utah Logic Group. - David Bennett
  • Offshoot of the MOLES (More Or Less Exact) and TIP (Thorough ImPrecise) philosophy discussion groups
  • Deriving the "Utah Logic" genealogy map
• The concept of Abstraction vs. the concept of Encapsulation.
  • Leading, gutters, kerning: word processors as encapsulation and abstraction
  • Compilers and domain specific programs
• Proving the standard (algebraic) tools we take for granted
• Proof's of program (algorithm) correctness

2005.07.08

• Levels of Infinity - LaMar Timothy, David Bennett
• The nature of pain in hypodermic shots - John Johnston
• Security clearance stories and life experiences - John Johnston, John Halleck
• The axiom of choice - LaMar Timothy, David Bennett
• Various topics - Dave J. Iannucci

2005.07.01

• Subtle problems in Penrose's statement of the Axiom of Choice - David Bennett
• "Gender of babies running in families" - John Johnston, Clif McIntosh, John Halleck
• On our surviving childhood as evidence of a "luck" gene - John Johnston.
• Changing social patterns and the statistics of Mormon males (and lately females) "going on a mission".
• Truth, Verification, and the problem of information plagiarism on the net. (The Beth Sallay effect) - John Halleck
• Utahlogic history: LeRoy Eide's "Gravitation in 1D and 2D spaces, open and closed" - John Halleck

June

2005-06-24

• Inversion glasses, and recent tongue stimulation experiments - John Halleck
• Penrose's "The Road to Reality" - Clif McIntosh [Chapter 15]
• Non-Circular definitions of sets - LaMar Timothy
• Cantor's staircase
• Alternate definitions of "continuous"
  • The notion of "gap-less" - David Bennett
  • Open Sets - John Johnston
  • Wiggle room - LeRoy Eide
  • Continuous with respect to a domain [rationals] - LaMar Timothy
  • The Calculus definition - John McIntosh
• [Note taker left early]

2005.06.17

• Penrose's chapters 13-14 - Clif McIntosh
• Functions continuous and differentiable at only a single point - John Halleck
• "Intuitive notations of 'continuous'" - David Bennett
• Algebraic vs. Geometric view of Mathematics - John Johnston
• Cantor's staircase - LeRoy Eide
• ? - LaMar Timothy
• Others ...

2005.06.10 - Meeting minutes not available

2005.06.03 - Meeting minutes not available

May

2005.05.27 - Meeting minutes not available

2005.05.20 - Meeting minutes not available

2005.05.13 - Meeting minutes not available

2005.05.06 - Meeting minutes not available

April

2005.04.29 - Meeting minutes not available

2005.04.22

• Neil Todd: ?
• David Bennett:
  • Modulus and Penrose chapter 8
  • Intended meaning of proper definitions
• LeRoy Eide:
  • Continued fractions and the quadratic equation
  • Chapter 8 of Penrose's book
  • The nature of question answering
  • Book review: "The Rock, Paper, Scissors Strategy Guide"
• John Halleck: Notations of definition
  • "Proper" (Thing being defined not appearing in definition)
  • Recursive and inductive definitions.
  • Definitions as a stand in for equivalence axioms
• LaMar Timothy:
  • On mathematicians being bad at arithmetic
  • Various engineering and logic history
  • Mathematician vs Engineering view of Chapter 8 of Penrose's Road to Reality
  • Lewis's Modal Logic System S1, axioms, "definitions", and equivalence

2005.04.15

• Topics
  • Penrose's Book, Chapters 7 and 8
  • Linguistics and Japanese Translations
  • Learning complex analysis
• Participants
  • LeRoy Eide
  • Dylan Pocock
  • John Halleck
  • LaMar Timothy
  • John Johnston
  • Yukio Katchi
  • David Bennett
  • Clif McIntosh
  • Dave J. Iannucci

2005.04.08 - Meeting minutes unreadable (Various topics led by Clif McIntosh)

2005.04.01 - Meeting minutes not available

March

2005.03.25 - Meeting minutes not available

2005.03.18 - Meeting minutes not available

2005.03.11 - Meeting minutes not available

2005.03.04

• Clif McIntosh canceled this week, discussion next week
• David Bennett
  • Condensed detachment paper review
  • Nature of Numbers, and set theory as a model
  • Mathematics and Logic foundations, artificiality, generality
• John Johnston
  • Nature of [speed] reading
  • Number concepts in small children
• Neil Todd
  • Reading Frege in German
  • Can you concentrate on subject matter better if you are reading in a language other than your native one?
• John Halleck
  • Condensed Detachment
  • Concept of series as prior to the concept of number in small children
  • Status report: work on automated determination of Modal Logic equivalences
• "Mathematics and Logic are consistent because we don't let them be any other way."

February

2005.02.25 (No meeting minutes actually taken)

• Proposal for a series of discussions about Roger Penrose's new book - Clif McIntosh
• ... ? ...

2005.02.18

• Robotics in Camel Racing - John Halleck
• Free piston Stirling cycle engines - John Halleck
• Witgenstien's Knowledge (or lack thereof) of the Foundations of Mathematics - Clif McIntosh, David Bennett
• Atomic Clocks, GPS, Datums - LaMar Timothy
• NAD27 and NAD83 - John Halleck
• Geodesy and the (historic) politics between England and France - LaMar Timothy
• Reliability of recovered memories of classes long past - David Bennett.
• Early experiences surveying - Neil Todd
• Cliff Bryner - ?

2005.02.11

• Introduction of visitors
• German Literature as a basis for a Career in Computer Networking - Neil Todd
• Marianna Di Paolo [Representing the Utah Linguistics Group]
  • Announcement of the April Conference on "Endangered Languages of Native America" (April 8-10, 2005) Hosted by the University of Utah Linguistics Department
  • History of "Chimney" vs. "Chimbley" vs. Folk etymologies vs. vs. time lines vs. alleged Victorian euphemistic practice.
  • Status report on the transcription and translation of the late Wik Miller's Shoshone tapes.
  • Korean, vowel distinguished minimal pairs, and SOV languages in general
  • Cultural problems of being able to read (phonetically) languages you don't speak
• Why Chomsky's first significant linguistics paper was published by the "Institute of Radio Engineers" - LaMar Timothy
• LeRoy Eide
  • Phonetic difficulties of non-native speakers in distinguishing "I can do that" from "I can't do that" in rapid speech by native speakers.
  • Crude terms for anatomy in one language (Latin) becoming the Polite terms in another (English)
  • Misc. linguistic issues
• Clif McIntosh
  • Frege's use of 'sentence' and 'proposition' in the original, and in translations.
  • Introspection (or the lack thereof) in Witgenstien's views on, and participation in, the first world war
  • How Russell was responsible for T.S. Elliot's having worked as a banking clerk
  • Practical inconsistencies of the Formalist viewpoint
  • Witgenstien's early history (academic, financial, engineering) and interest in the Foundations of Mathematics.
• David Bennett
  • Formalist vs. Linguistic views of the Foundations of Mathematics
  • Could Witgenstien have produced good Foundations of Mathematics work if he'd gone in that direction?
  • Implicit Platonism in the Formalist view of Mathematics.
• In defense of (strict) Formalism - John Halleck
• ? - Dylan Pocock

2005.02.04

• Introduction of visitors
• Questions on the "Visual Inversion Goggle" experiments - Justin Kim
• FCOM, dead deer, and caving - John Halleck
• Comments on the book "The Universal Computer" - LaMar Timothy
• Tryphon Olympios' "Elevation of Mankind" - John Halleck
• Theory of flight vs. recent work on insect flight - ?
• Frege's anti-semitism, Witgenstien, Russell - Clif McIntosh
• Political discussion - David Bennett, et al.

January

2005.01.28

• The Chinese Room thought experiment - Clif McIntosh
• The "Universal Computer" book vs. Frege - LaMar Timothy
• Harvard Press book on Frege's Notation - Clif McIntosh
• Nash, Godel, Hughes: Mental problems vs occupation. - John Halleck
• John Herman Randal's "Seductive Logic" - David Bennett
• Libraries, Card catalogs, Online listings - ?
• User Interface studies - John Johnston.

2005.01.21

• Carnap - LaMar Timothy
• The nature of the "Utah Accent", or any accent - (Round table led by Clif McIntosh)
  • Stacked modals "Should oughta"
  • Medial "D"s, and "T"s
  • "That" ("which") vs. "thet", "Thut"
• Condensed Detachment on Meta axioms- John Halleck
• Comments on Meridith's Condensed Detachment in recent papers - Dave Bennett

2005.01.14

• Intentionally confusing equality and equivalence - John Halleck (with David Bennett and Clif McIntosh)
• Arlo Guthre's 18 1/2 minute long "Alice's Restaurant" vs. Nixon's 18 1/2 minute long tape gap - John Johnston
• Interpretation of the same symbols in multiple systems, intersection in logic and set theory - John Johnston
• "Intersection" in both set theory and sex theory - LeRoy Eide
• Book Review: Chandler's "Emperor of Scent" (About Luca Turio). - Clif McIntosh
  • Why some compounds with hydrogen smell different then the same compound with Deturium
  • The nature of Scent
  • On the relationship between illnesses and the sense of smell
• Book Review: Martin Davis' "The Universal Computer" - Clif McIntosh
• History of the Justice Department's view of hardware and software bundling, the IBM360, and Hasp - LeRoy Eide
• ? - Dylan Pocock

2005.01.07

• Continium Hypothesis history - LaMar Timothy
• Continium Hypothesis - David Bennett
• The TPTP project, alternate bases for systems, theorem provers. - John Halleck
• Early Logic/Mathematics History - LaMar Timothy
• Ben Cox's work with rank-order statistics. - LaMar Timothy
• Ben Cox's signal processing work - John Halleck
• Ben Cox - John Johnston
• Tom Stockham's work on the Nixon tapes - LaMar Timothy
• Fields that have don't have "science" in their name (physics, mathematics, etc.) are sciences, those that do (political science, computer science, etc.) aren't. - John Johnston.
• "One milihelen is the amount of beauty needed to launch a single ship" - David Bennett

Go to ...

• 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-2005.html
This page was last modified on January 8th, 2006.