Log24

Tuesday, May 1, 2012

What is Truth? (continued)

Filed under: General — m759 @ 11:01 PM

"There is a pleasantly discursive treatment of
 Pontius Pilate's unanswered question 'What is truth?'"
— H. S. M. Coxeter, 1987

Returning to the Walpurgisnacht posts
Decomposition (continued) and
Decomposition– Part III —

Some further background…

SAT

(Not  a Scholastic Aptitude Test)

"In computer sciencesatisfiability (often written
in all capitals or abbreviated 
SAT) is the problem
of determining if the variables of a given 
Boolean
 formula can be assigned in such a way as to
make the formula evaluate to TRUE."

— Wikipedia article Boolean satisfiability problem

For the relationship of logic decomposition to SAT,
see (for instance) these topics in the introduction to—

Advanced Techniques in Logic Synthesis,
Optimizations and Applications* 

Click image for a synopsis.

* Edited by Sunil P. Khatri and Kanupriya Gulati

Saturday, February 26, 2011

The Pope’s Speech

Filed under: General — m759 @ 12:25 PM

Last night's post was about a talk last year at the annual student symposium of the ACCA (Associated Colleges of the Chicago Area), a group of largely Christian colleges.

The fact that the talk was by a student from Benedictine University suggests a review of the Urbi et Orbi  speech by Pope Benedict XVI on Christmas 2010.

“The Word became flesh”. The light of this truth is revealed to those who receive it in faith, for it is a mystery of love. Only those who are open to love are enveloped in the light of Christmas. So it was on that night in Bethlehem, and so it is today. The Incarnation of the Son of God is an event which occurred within history, while at the same time transcending history. In the night of the world a new light was kindled, one which lets itself be seen by the simple eyes of faith, by the meek and humble hearts of those who await the Saviour. If the truth were a mere mathematical formula, in some sense it would impose itself by its own power. But if Truth is Love, it calls for faith, for the “yes” of our hearts.

And what do our hearts, in effect, seek, if not a Truth which is also Love? Children seek it with their questions, so disarming and stimulating; young people seek it in their eagerness to discover the deepest meaning of their life; adults seek it in order to guide and sustain their commitments in the family and the workplace; the elderly seek it in order to grant completion to their earthly existence.

The above excerpt from the Pope's speech may be regarded as part of a continuing commentary on the following remark—

There is a pleasantly discursive treatment of Pontius Pilate's unanswered question "What is truth?" — H. S. M. Coxeter, 1987

Thursday, February 18, 2010

Theories: An Outline

Filed under: General,Geometry — Tags: , — m759 @ 10:31 AM

Truth, Geometry, Algebra

The following notes are related to A Simple Reflection Group of Order 168.

1. According to H.S.M. Coxeter and Richard J. Trudeau

“There is a pleasantly discursive treatment of Pontius Pilate’s unanswered question ‘What is truth?’.”

— Coxeter, 1987, introduction to Trudeau’s The Non-Euclidean Revolution

1.1 Trudeau’s Diamond Theory of Truth

1.2 Trudeau’s Story Theory of Truth

2. According to Alexandre Borovik and Steven H. Cullinane

2.1 Coxeter Theory according to Borovik

2.1.1 The Geometry–

Mirror Systems in Coxeter Theory

2.1.2 The Algebra–

Coxeter Languages in Coxeter Theory

2.2 Diamond Theory according to Cullinane

2.2.1 The Geometry–

Examples: Eightfold Cube and Solomon’s Cube

2.2.2 The Algebra–

Examples: Cullinane and (rather indirectly related) Gerhard Grams

Summary of the story thus far:

Diamond theory and Coxeter theory are to some extent analogous– both deal with reflection groups and both have a visual (i.e., geometric) side and a verbal (i.e., algebraic) side.  Coxeter theory is of course highly developed on both sides. Diamond theory is, on the geometric side, currently restricted to examples in at most three Euclidean (and six binary) dimensions. On the algebraic side, it is woefully underdeveloped. For material related to the algebraic side, search the Web for generators+relations+”characteristic two” (or “2“) and for generators+relations+”GF(2)”. (This last search is the source of the Grams reference in 2.2.2 above.)

Friday, January 30, 2009

Friday January 30, 2009

Filed under: General,Geometry — m759 @ 11:07 AM
Two-Part Invention

This journal on
October 8, 2008,
at noon:

“There is a pleasantly discursive treatment of Pontius Pilate’s unanswered question ‘What is truth?'”

— H. S. M. Coxeter, introduction to Richard J. Trudeau’s remarks on the “story theory” of truth as opposed to the “diamond theory” of truth in The Non-Euclidean Revolution

Trudeau’s 1987 book uses the phrase “diamond theory” to denote the philosophical theory, common since Plato and Euclid, that there exist truths (which Trudeau calls “diamonds”) that are certain and eternal– for instance, the truth in Euclidean geometry that the sum of a triangle’s angles is 180 degrees.

Insidehighered.com on
the same day, October 8, 2008,
at 12:45 PM EDT

“Future readers may consider Updike our era’s Mozart; Mozart was once written off as a too-prolific composer of ‘charming nothings,’ and some speak of Updike that way.”

— Comment by BPJ

“Birthday, death-day–
 what day is not both?”
John Updike

Updike died on January 27.
On the same date,
Mozart was born.

Requiem

Mr. Best entered,
tall, young, mild, light.
He bore in his hand
with grace a notebook,
new, large, clean, bright.

— James Joyce, Ulysses,
Shakespeare and Company,
Paris, 1922, page 178

Related material:

Dec. 5, 2004 and

Inscribed carpenter's square

Jan. 27-29, 2009

Wednesday, October 8, 2008

Wednesday October 8, 2008

Filed under: General,Geometry — m759 @ 12:00 PM

Serious Numbers

A Yom Kippur
Meditation

"When times are mysterious
Serious numbers
Will always be heard."
— Paul Simon,
"When Numbers Get Serious"

"There is a pleasantly discursive treatment of Pontius Pilate's unanswered question 'What is truth?'"

— H. S. M. Coxeter, introduction to Richard J. Trudeau's remarks on the "story theory" of truth as opposed to the "diamond theory" of truth in The Non-Euclidean Revolution

Trudeau's 1987 book uses the phrase "diamond theory" to denote the philosophical theory, common since Plato and Euclid, that there exist truths (which Trudeau calls "diamonds") that are certain and eternal– for instance, the truth in Euclidean geometry that the sum of a triangle's angles is 180 degrees. As the excerpt below shows, Trudeau prefers what he calls the "story theory" of truth–

"There are no diamonds. People make up stories about what they experience. Stories that catch on are called 'true.'"

(By the way, the phrase "diamond theory" was used earlier, in 1976, as the title of a monograph on geometry of which Coxeter was aware.)

Richard J. Trudeau on the 'Story Theory' of truth

Excerpt from
The Non-Euclidean Revolution

What does this have to do with numbers?

Pilate's skeptical tone suggests he may have shared a certain confusion about geometric truth with thinkers like Trudeau and the slave boy in Plato's Meno. Truth in a different part of mathematics– elementary arithmetic– is perhaps more easily understood, although even there, the existence of what might be called "non-Euclidean number theory"– i.e., arithmetic over finite fields, in which 1+1 can equal zero– might prove baffling to thinkers like Trudeau.

Trudeau's book exhibits, though it does not discuss, a less confusing use of numbers– to mark the location of pages. For some philosophical background on this version of numerical truth that may be of interest to devotees of the Semitic religions on this evening's High Holiday, see Zen and Language Games.

For uses of numbers that are more confusing, see– for instance– the new website The Daily Beast and the old website Story Theory and the Number of the Beast.

Friday, January 25, 2008

Friday January 25, 2008

Filed under: General — Tags: — m759 @ 4:04 AM

Requiem for a Curator

"There is a pleasantly discursive treatment
of Pontius Pilate's unanswered question
'What is truth?'"

  — H. S. M. Coxeter, 1987,
book introduction quoted
as epigraph to
Art Wars

"I confess I do not believe in time.
I like to fold my magic carpet,
after use, in such a way
as to superimpose
one part of the pattern
upon another."

Nabokov, Speak, Memory
 

http://www.log24.com/log/pix08/080125-Ojo.jpg

Figure by Coxeter
reminiscent of the
Ojo de Dios of
Mexico's Sierra Madre
 

In memory of
National Gallery
of Art curator
Philip Conisbee,
who died on
January 16:

"the God's-eye
 of the author"

 

— Dorothy Sayers,
    The Mind
    of the Maker

  "one complete
and free eye,
which can
simultaneously see
in all directions"

— Vladimir Nabokov,
    The Gift   

A Contrapuntal Theme

Tuesday, April 25, 2006

Tuesday April 25, 2006

Filed under: General,Geometry — m759 @ 3:09 PM

“There is a pleasantly discursive treatment
of Pontius Pilate’s unanswered question
‘What is truth?'”

— H. S. M. Coxeter, 1987, introduction to
Richard J. Trudeau’s remarks on
the “Story Theory” of truth
as opposed to
the “Diamond Theory” of truth
in The Non-Euclidean Revolution

A Serious Position

“‘Teitelbaum,’ in German,
is ‘date palm.'”
Generations, Jan. 2003   

“In Hasidism, a mystical brand
of Orthodox Judaism, the grand rabbi
is revered as a kinglike link to God….”

Today’s New York Times obituary
of Rabbi Moses Teitelbaum,
who died on April 24, 2006
(Easter Monday in the
Orthodox Church
)

From Nextbook.org, “a gateway to Jewish literature, culture, and ideas”:

NEW BOOKS: 02.16.05
Proofs and Paradoxes
Alfred Teitelbaum changed his name to Tarski in the early 20s, the same time he changed religions, but when the Germans invaded his native Poland, the mathematician was in California, where he remained. His “great achievement was his audacious assault on the notion of truth,” says Martin Davis, focusing on the semantics and syntax of scientific language. Alfred Tarski: Life and Logic, co-written by a former student, Solomon Feferman, offers “remarkably intimate information,” such as abusive teaching and “extensive amorous involvements.”

From Wikipedia, an unsigned story:

“In 1923 Alfred Teitelbaum and his brother Wacław changed their surnames to Tarski, a name they invented because it sounded very Polish, was simple to spell and pronounce, and was unused. (Years later, he met another Alfred Tarski in northern California.) The Tarski brothers also converted to Roman Catholicism, the national religion of the Poles. Alfred did so, even though he was an avowed atheist, because he was about to finish his Ph.D. and correctly anticipated that it would be difficult for a Jew to obtain a serious position in the new Polish university system.”

The image “http://www.log24.com/log/pix06/060425-Tarski.jpg” cannot be displayed, because it contains errors.

Alfred Tarski

The image “http://www.log24.com/log/pix06/060424-Crimson2.jpg” cannot be displayed, because it contains errors.

See also
 
The Crimson Passion.

Sunday, November 20, 2005

Sunday November 20, 2005

Filed under: General,Geometry — m759 @ 4:04 PM
An Exercise
of Power

Johnny Cash:
“And behold,
a white horse.”

The image “http://www.log24.com/log/pix05B/051120-SpringerLogo9.gif” cannot be displayed, because it contains errors.
Adapted from
illustration below:

The image “http://www.log24.com/log/pix05B/051120-NonEuclideanRev.jpg” cannot be displayed, because it contains errors.

“There is a pleasantly discursive treatment of Pontius Pilate’s unanswered question ‘What is truth?'”

H. S. M. Coxeter, 1987, introduction to Richard J. Trudeau’s remarks on the “Story Theory” of truth as opposed to  the “Diamond Theory” of truth in The Non-Euclidean Revolution

“A new epistemology is emerging to replace the Diamond Theory of truth. I will call it the ‘Story Theory’ of truth: There are no diamonds. People make up stories about what they experience. Stories that catch on are called ‘true.’ The Story Theory of truth is itself a story that is catching on. It is being told and retold, with increasing frequency, by thinkers of many stripes*….”

Richard J. Trudeau in
The Non-Euclidean Revolution

“‘Deniers’ of truth… insist that each of us is trapped in his own point of view; we make up stories about the world and, in an exercise of power, try to impose them on others.”

— Jim Holt in The New Yorker.

(Click on the box below.)

The image “http://www.log24.com/log/pix05B/050819-Critic4.jpg” cannot be displayed, because it contains errors.

Exercise of Power:

Show that a white horse–

A Singer 7-Cycle

a figure not unlike the
symbol of the mathematics
publisher Springer–
is traced, within a naturally
arranged rectangular array of
polynomials, by the powers of x
modulo a polynomial
irreducible over a Galois field.

This horse, or chess knight–
“Springer,” in German–
plays a role in “Diamond Theory”
(a phrase used in finite geometry
in 1976, some years before its use
by Trudeau in the above book).

Related material

On this date:

 In 1490, The White Knight
 (Tirant lo Blanc The image “http://www.log24.com/images/asterisk8.gif” cannot be displayed, because it contains errors. )–
 a major influence on Cervantes–
was published, and in 1910

The image “http://www.log24.com/log/pix05B/051120-Caballo1.jpg” cannot be displayed, because it contains errors.

the Mexican Revolution began.

Illustration:
Zapata by Diego Rivera,
Museum of Modern Art,
New York

The image “http://www.log24.com/images/asterisk8.gif” cannot be displayed, because it contains errors. Description from Amazon.com

“First published in the Catalan language in Valencia in 1490…. Reviewing the first modern Spanish translation in 1969 (Franco had ruthlessly suppressed the Catalan language and literature), Mario Vargas Llosa hailed the epic’s author as ‘the first of that lineage of God-supplanters– Fielding, Balzac, Dickens, Flaubert, Tolstoy, Joyce, Faulkner– who try to create in their novels an all-encompassing reality.'”

Friday, August 19, 2005

Friday August 19, 2005

Filed under: General,Geometry — Tags: — m759 @ 2:00 PM

Mathematics and Narrative
continued

"There is a pleasantly discursive treatment of Pontius Pilate's unanswered question 'What is truth?'"

H. S. M. Coxeter, 1987, introduction to Richard J. Trudeau's remarks on the "Story Theory" of truth as opposed to  the "Diamond Theory" of truth " in The Non-Euclidean Revolution

"I had an epiphany: I thought 'Oh my God, this is it! People are talking about elliptic curves and of course they think they are talking mathematics. But are they really? Or are they talking about stories?'"

An organizer of last month's "Mathematics and Narrative" conference

"A new epistemology is emerging to replace the Diamond Theory of truth. I will call it the 'Story Theory' of truth: There are no diamonds. People make up stories about what they experience. Stories that catch on are called 'true.' The Story Theory of truth is itself a story that is catching on. It is being told and retold, with increasing frequency, by thinkers of many stripes*…."

Richard J. Trudeau in The Non-Euclidean Revolution

"'Deniers' of truth… insist that each of us is trapped in his own point of view; we make up stories about the world and, in an exercise of power, try to impose them on others."

— Jim Holt in this week's New Yorker magazine.  Click on the box below.

The image “http://www.log24.com/log/pix05B/050819-Critic4.jpg” cannot be displayed, because it contains errors.

* Many stripes

   "What disciplines were represented at the meeting?"
   "Apart from historians, you mean? Oh, many: writers, artists, philosophers, semioticians, cognitive psychologists – you name it."

 

An organizer of last month's "Mathematics and Narrative" conference

Monday, April 28, 2003

Monday April 28, 2003

Filed under: General,Geometry — Tags: — m759 @ 12:07 AM

ART WARS:

Toward Eternity

April is Poetry Month, according to the Academy of American Poets.  It is also Mathematics Awareness Month, funded by the National Security Agency; this year's theme is "Mathematics and Art."

Some previous journal entries for this month seem to be summarized by Emily Dickinson's remarks:

"Because I could not stop for Death–
He kindly stopped for me–
The Carriage held but just Ourselves–
And Immortality.

………………………
Since then–'tis Centuries–and yet
Feels shorter than the Day
I first surmised the Horses' Heads
Were toward Eternity– "

 

Consider the following journal entries from April 7, 2003:
 

Math Awareness Month

April is Math Awareness Month.
This year's theme is "mathematics and art."


 

An Offer He Couldn't Refuse

Today's birthday:  Francis Ford Coppola is 64.

"There is a pleasantly discursive treatment
of Pontius Pilate's unanswered question
'What is truth?'."


H. S. M. Coxeter, 1987, introduction to Richard J. Trudeau's remarks on the "Story Theory" of truth as opposed to the "Diamond Theory" of truth in The Non-Euclidean Revolution

 

From a website titled simply Sinatra:

"Then came From Here to Eternity. Sinatra lobbied hard for the role, practically getting on his knees to secure the role of the street smart punk G.I. Maggio. He sensed this was a role that could revive his career, and his instincts were right. There are lots of stories about how Columbia Studio head Harry Cohn was convinced to give the role to Sinatra, the most famous of which is expanded upon in the horse's head sequence in The Godfather. Maybe no one will know the truth about that. The one truth we do know is that the feisty New Jersey actor won the Academy Award as Best Supporting Actor for his work in From Here to Eternity. It was no looking back from then on."

From a note on geometry of April 28, 1985:

 
The "horse's head" figure above is from a note I wrote on this date 18 years ago.  The following journal entry from April 4, 2003, gives some details:
 

The Eight

Today, the fourth day of the fourth month, plays an important part in Katherine Neville's The Eight.  Let us honor this work, perhaps the greatest bad novel of the twentieth century, by reflecting on some properties of the number eight.  Consider eight rectangular cells arranged in an array of four rows and two columns.  Let us label these cells with coordinates, then apply a permutation.

 


 Decimal 
labeling

 
Binary
labeling


Algebraic
labeling


Permutation
labeling

 

The resulting set of arrows that indicate the movement of cells in a permutation (known as a Singer 7-cycle) outlines rather neatly, in view of the chess theme of The Eight, a knight.  This makes as much sense as anything in Neville's fiction, and has the merit of being based on fact.  It also, albeit rather crudely, illustrates the "Mathematics and Art" theme of this year's Mathematics Awareness Month.

The visual appearance of the "knight" permutation is less important than the fact that it leads to a construction (due to R. T. Curtis) of the Mathieu group M24 (via the Curtis Miracle Octad Generator), which in turn leads logically to the Monster group and to related "moonshine" investigations in the theory of modular functions.   See also "Pieces of Eight," by Robert L. Griess.

Monday, April 7, 2003

Monday April 7, 2003

Filed under: General,Geometry — Tags: — m759 @ 1:17 PM

An Offer He Couldn't Refuse

Today's birthday:  Francis Ford Coppola is 64.

"There is a pleasantly discursive treatment
of Pontius Pilate's unanswered question
'What is truth?'."


— H. S. M. Coxeter, 1987, introduction to Richard J. Trudeau's remarks on the "Story Theory" of truth as opposed to the "Diamond Theory" of truth in The Non-Euclidean Revolution

 

From a website titled simply Sinatra:

"Then came From Here to Eternity. Sinatra lobbied hard for the role, practically getting on his knees to secure the role of the street smart punk G.I. Maggio. He sensed this was a role that could revive his career, and his instincts were right. There are lots of stories about how Columbia Studio head Harry Cohn was convinced to give the role to Sinatra, the most famous of which is expanded upon in the horse's head sequence in The Godfather. Maybe no one will know the truth about that. The one truth we do know is that the feisty New Jersey actor won the Academy Award as Best Supporting Actor for his work in From Here to Eternity. It was no looking back from then on."

From a note on geometry of April 28, 1985:


 

Powered by WordPress