Time & Logic

dj_logic-zen_of_logic_b.jpg

My Discrete Math professor is the same gentleman who shepherded (if that is the right word) me through my first Calculus class last semester. Seeing his name on the schedule for this class, then, was not disturbing. For me, he is a known quantity, and a good professor. And, like most of the professors encountered on this journey, he is very giving of his time outside of the class. On the first day of each course, he lets the class vote on the most opportune times for his “extra help” sessions, adjusting his schedule to suit the needs of the majority of the students. He will be available at that time for any student, with any question.

I have attended his sessions this semester. If I may speak in the terms of a logician, I in this case implies the existential quantification: As in, of all the students in the universe of discourse (his class), there exists 1 student who has attended his “extra help” sessions.

I am that existential quantifier.

Today, while exploring the labyrinth of nested quantifiers during the “extra-help”, he made the most remarkable comment.

As I recall, we were talking about implications in a proposition: x implies y….or, if p, then q…..you get the drift. A relationship exists between two variables.

As he said, the logical relationship exists, but that the rules of logic ignore the existence of time. That is, the logic assumes that the relationship is timeless, until one of the variables changes. He further stated that he suspects the existence of a physical, universal law that must apply to logic and time. Even though he can prove, through logic, that an implication is not timeless, he has not yet persuaded his wife, a fellow mathematician, that his argument is true. Thus, the theory awaits further development.

This is beautiful stuff!

Advertisements

0 Responses to “Time & Logic”



  1. Leave a Comment

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s




“Life’s hard, son. It’s harder when you’re stupid.” — The Duke.

Education is a companion which no misfortune can depress, no crime can destroy, no enemy can alienate,no despotism can enslave. At home, a friend, abroad, an introduction, in solitude a solace and in society an ornament.It chastens vice, it guides virtue, it gives at once grace and government to genius. Without it, what is man? A splendid slave, a reasoning savage. - Joseph Addison
The term informavore (also spelled informivore) characterizes an organism that consumes information. It is meant to be a description of human behavior in modern information society, in comparison to omnivore, as a description of humans consuming food. George A. Miller [1] coined the term in 1983 as an analogy to how organisms survive by consuming negative entropy (as suggested by Erwin Schrödinger [2]). Miller states, "Just as the body survives by ingesting negative entropy, so the mind survives by ingesting information. In a very general sense, all higher organisms are informavores." - Wikipedia

Blog Stats

  • 30,477 hits

%d bloggers like this: