Log24

Thursday, May 31, 2018

Quaternion Group Models

Filed under: General — Tags: — m759 @ 10:00 AM
 

2011 —

 

2014 —

 

     See also other Log24 posts on quaternion group models.

Saturday, May 31, 2014

Quaternion Group Models:

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

The ninefold square, the eightfold cube, and monkeys.

IMAGE- Actions of the unit quaternions in finite geometry, on a ninefold square and on an eightfold cube

For posts on the models above, see quaternion
in this journal. For the monkeys, see

"Nothing Is More Fun than a Hypercube of Monkeys,"
Evelyn Lamb's Scientific American  weblog, May 19, 2014:

The Scientific American  item is about the preprint
"The Quaternion Group as a Symmetry Group,"
by Vi Hart and Henry Segerman (April 26, 2014):

See also  Finite Geometry and Physical Space.

Monday, December 29, 2014

Dodecahedron Model of PG(2,5)

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

Recent posts tagged Sagan Dodecahedron 
mention an association between that Platonic
solid and the 5×5 grid. That grid, when extended
by the six points on a "line at infinity," yields
the 31 points of the finite projective plane of
order five.  

For details of how the dodecahedron serves as
a model of this projective plane (PG(2,5)), see
Polster's A Geometrical Picture Book , p. 120:

For associations of the grid with magic rather than
with Plato, see a search for 5×5 in this journal.

Sunday, November 30, 2014

Two Physical Models of the Fano Plane

Filed under: General,Geometry — Tags: , — m759 @ 1:23 AM

The Regular Tetrahedron

The seven symmetry axes of the regular tetrahedron
are of two types: vertex-to-face and edge-to-edge.
Take these axes as the "points" of a Fano plane.
Each of the tetrahedron's six reflection planes contains 
two vertex-to-face axes and one edge-to-edge axis.
Take these six planes as six of the "lines" of a Fano
plane. Then the seventh line is the set of three 
edge-to-edge axes.

(The Fano tetrahedron is not original with me.
See Polster's 1998 A Geometrical Picture Book pp. 16-17.)

The Cube

There are three reflection planes parallel to faces
of the cube. Take the seven nonempty subsets of
the set of these three planes as the "points" of a
Fano plane. Define the Fano "lines" as those triples
of these seven subsets in which each member of
the triple is the symmetric-difference sum of the 
other two members.

(This is the eightfold cube  discussed at finitegeometry.org.)

Wednesday, November 26, 2014

A Tetrahedral Fano-Plane Model

Filed under: General,Geometry — Tags: — m759 @ 5:30 PM

Update of Nov. 30, 2014 —

It turns out that the following construction appears on
pages 16-17 of A Geometrical Picture Book , by 
Burkard Polster (Springer, 1998).

"Experienced mathematicians know that often the hardest
part of researching a problem is understanding precisely
what that problem says. They often follow Polya's wise
advice: 'If you can't solve a problem, then there is an
easier problem you can't solve: find it.'"

—John H. Conway, foreword to the 2004 Princeton
Science Library edition of How to Solve It , by G. Polya

For a similar but more difficult problem involving the
31-point projective plane, see yesterday's post
"Euclidean-Galois Interplay."

The above new [see update above] Fano-plane model was
suggested by some 1998 remarks of the late Stephen Eberhart.
See this morning's followup to "Euclidean-Galois Interplay" 
quoting Eberhart on the topic of how some of the smallest finite
projective planes relate to the symmetries of the five Platonic solids.

Update of Nov. 27, 2014: The seventh "line" of the tetrahedral
Fano model was redefined for greater symmetry.

Thursday, June 5, 2014

Twisty Quaternion Symmetry

Filed under: General,Geometry — m759 @ 9:11 PM

The previous post told how user58512 at math.stackexchange.com
sought in 2013 a geometric representation of Q, the quaternion group.
He ended up displaying an illustration that very possibly was drawn,
without any acknowledgement of its source, from my own work.

On the date that user58512 published that illustration, he further
pursued his March 1, 2013, goal of a “twisty” quaternion model.

On March 12, 2013,  he suggested that the quaternion group might be
the symmetry group of the following twisty-cube coloring:

IMAGE- Twisty-cube coloring illustrated by Jim Belk

Illustration by Jim Belk

Here is part of a reply by Jim Belk from Nov. 11, 2013, elaborating on
that suggestion:

IMAGE- Jim Belk's proposed GAP construction of a 2x2x2 twisty-cube model of the quaternion group 

Belk argues that the colored cube is preserved under the group
of actions he describes. It is, however, also preserved under a
larger group.  (Consider, say, rotation of the entire cube by 180
degrees about the center of any one of its checkered faces.)  The
group Belk describes seems therefore to be a  symmetry group,
not the  symmetry group, of the colored cube.

I do not know if any combination puzzle has a coloring with
precisely  the quaternion group as its symmetry group.

(Updated at 12:15 AM June 6 to point out the larger symmetry group
and delete a comment about an arXiv paper on quaternion group models.)

Wednesday, November 14, 2012

Group Actions

Filed under: General,Geometry — Tags: — m759 @ 4:30 PM

The December 2012 Notices of the American
Mathematical Society  
has an ad on page 1564
(in a review of two books on vulgarized mathematics)
for three workshops next year on "Low-dimensional
Topology, Geometry, and Dynamics"—

(Only the top part of the ad is shown; for further details
see an ICERM page.)

(ICERM stands for Institute for Computational
and Experimental Research in Mathematics.)

The ICERM logo displays seven subcubes of
a 2x2x2 eight-cube array with one cube missing—

The logo, apparently a stylized image of the architecture 
of the Providence building housing ICERM, is not unlike
a picture of Froebel's Third Gift—

 

Froebel's third gift, the eightfold cube

© 2005 The Institute for Figuring

Photo by Norman Brosterman from the Inventing Kindergarten
exhibit at The Institute for Figuring (co-founded by Margaret Wertheim)

The eighth cube, missing in the ICERM logo and detached in the
Froebel Cubes photo, may be regarded as representing the origin
(0,0,0) in a coordinatized version of the 2x2x2 array—
in other words the cube invariant under linear , as opposed to
more general affine , permutations of the cubes in the array.

These cubes are not without relevance to the workshops' topics—
low-dimensional exotic geometric structures, group theory, and dynamics.

See The Eightfold Cube, A Simple Reflection Group of Order 168, and 
The Quaternion Group Acting on an Eightfold Cube.

Those who insist on vulgarizing their mathematics may regard linear
and affine group actions on the eight cubes as the dance of
Snow White (representing (0,0,0)) and the Seven Dwarfs—

.

Sunday, June 17, 2012

Congruent Group Actions

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

A Google search today yielded no results
for the phrase "congruent group actions."

Places where this phrase might prove useful include—

Friday, December 30, 2011

Quaternions on a Cube

Filed under: General,Geometry — Tags: , , — m759 @ 5:48 AM

The following picture provides a new visual approach to
the order-8 quaternion  group's automorphisms.

IMAGE- Quaternion group acting on an eightfold cube

Click the above image for some context.

Here the cube is called "eightfold" because the eight vertices,
like the eight subcubes of a 2×2×2 cube,* are thought of as
independently movable. See The Eightfold Cube.

See also…

Related material: Robin Chapman and Karen E. Smith
on the quaternion group's automorphisms.

* See Margaret Wertheim's Christmas Eve remarks on mathematics
and the following eightfold cube from an institute she co-founded—

Froebel's third gift, the eightfold cube
© 2005 The Institute for Figuring

Photo by Norman Brosterman
fom the Inventing Kindergarten
exhibit at The Institute for Figuring
(co-founded by Margaret Wertheim)

Wednesday, June 4, 2014

Monkey Business

Filed under: General,Geometry — Tags: — m759 @ 8:48 PM

The title refers to a Scientific American weblog item
discussed here on May 31, 2014:

Some closely related material appeared here on
Dec. 30, 2011:

IMAGE- Quaternion group acting on an eightfold cube

A version of the above quaternion actions appeared
at math.stackexchange.com on March 12, 2013:

"Is there a geometric realization of Quaternion group?" —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note "GL(2,3) actions on a cube" of April 5, 1985).

Wednesday, April 12, 2017

Contracting the Spielraum

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

The contraction of the title is from group actions on
the ninefold square  (with the center subsquare fixed)
to group actions on the eightfold cube.

From a post of June 4, 2014

At math.stackexchange.com on March 1-12, 2013:

Is there a geometric realization of the Quaternion group?” —

The above illustration, though neatly drawn, appeared under the
cloak of anonymity.  No source was given for the illustrated group actions.
Possibly they stem from my Log24 posts or notes such as the Jan. 4, 2012,
note on quaternion actions at finitegeometry.org/sc (hence ultimately
from my note “GL(2,3) actions on a cube” of April 5, 1985).

Thursday, December 17, 2015

Hint of Reality

Filed under: General,Geometry — Tags: , , — m759 @ 12:45 PM

From an article* in Proceedings of Bridges 2014

As artists, we are particularly interested in the symmetries of real world physical objects.

Three natural questions arise:

1. Which groups can be represented as the group of symmetries of some real-world physical object?

2. Which groups have actually  been represented as the group of symmetries of some real-world physical object?

3. Are there any glaring gaps – small, beautiful groups that should have a physical representation in a symmetric object but up until now have not?

The article was cited by Evelyn Lamb in her Scientific American  
weblog on May 19, 2014.

The above three questions from the article are relevant to a more
recent (Oct. 24, 2015) remark by Lamb:

" finite projective planes [in particular, the 7-point Fano plane,
about which Lamb is writing] 
seem like a triumph of purely 
axiomatic thinking over any hint of reality…."

For related hints of reality, see Eightfold Cube  in this journal.

* "The Quaternion Group as a Symmetry Group," by Vi Hart and Henry Segerman

Thursday, December 18, 2014

Platonic Analogy

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

(Five by Five continued)

As the 3×3 grid underlies the order-3 finite projective plane,
whose 13 points may be modeled by
the 13 symmetry axes of the cube,
so the 5×5 grid underlies the order-5 finite projective plane,
whose 31 points may be modeled by
the 31 symmetry axes of the dodecahedron.

See posts tagged Galois-Plane Models.

Wednesday, December 3, 2014

Pyramid Dance

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

Oslo artist Josefine Lyche has a new Instagram post,
this time on pyramids (the monumental kind).

My response —

Wikipedia's definition of a tetrahedron as a
"triangle-based pyramid"

and remarks from a Log24 post of August 14, 2013 :

Norway dance (as interpreted by an American)

IMAGE- 'The geometry of the dance' is that of a tetrahedron, according to Peter Pesic

I prefer a different, Norwegian, interpretation of "the dance of four."

Related material:
The clash between square and tetrahedral versions of PG(3,2).

See also some of Burkard Polster's triangle-based pyramids
and a 1983 triangle-based pyramid in a paper that Polster cites —

(Click image below to enlarge.)

Some other illustrations that are particularly relevant
for Lyche, an enthusiast of magic :

From On Art and Magic (May 5, 2011) —

http://www.log24.com/log/pix11A/110505-ThemeAndVariations-Hofstadter.jpg

http://www.log24.com/log/pix11A/110505-BlockDesignTheory.jpg

Mathematics

http://www.log24.com/log/pix11A/110505-WikipediaFanoPlane.jpg

The Fano plane block design

Magic

http://www.log24.com/log/pix11A/110505-DeathlyHallows.jpg

The Deathly Hallows  symbol—
Two blocks short of  a design.

 

(Updated at about 7 PM ET on Dec. 3.)

Wednesday, November 26, 2014

Class Act

Filed under: General,Geometry — Tags: — m759 @ 7:18 AM

Update of Nov. 30, 2014 —

For further information on the geometry in
the remarks by Eberhart below, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998). Polster
cites a different article by Lemay.

A search for background to the exercise in the previous post
yields a passage from the late Stephen Eberhart:

The first three primes p = 2, 3, and 5 therefore yield finite projective planes with 7, 13, and 31 points and lines, respectively. But these are just the numbers of symmetry axes of the five regular solids, as described in Plato's Timaeus : The tetrahedron has 4 pairs of face planes and comer points + 3 pairs of opposite edges, totalling 7 axes; the cube has 3 pairs of faces + 6 pairs of edges + 4 pairs of comers, totalling 13 axes (the octahedron simply interchanges the roles of faces and comers); and the pentagon dodecahedron has 6 pairs of faces + 15 pairs of edges + 10 pairs of comers, totalling 31 axes (the icosahedron again interchanging roles of faces and comers). This is such a suggestive result, one would expect to find it dealt with in most texts on related subjects; instead, while "well known to those who well know such things" (as Richard Guy likes to quip), it is scarcely to be found in the formal literature [9]. The reason for the common numbers, it turns out, is that the groups of symmetry motions of the regular solids are subgroups of the groups of collineations of the respective finite planes, a face axis being different from an edge axis of a regular solid but all points of a projective plane being alike, so the latter has more symmetries than the former.

[9] I am aware only of a series of in-house publications by Fernand Lemay of the Laboratoire de Didactique, Faculté des Sciences de I 'Éducation, Univ. Laval, Québec, in particular those collectively titled Genèse de la géométrie  I-X.

— Stephen Eberhart, Dept. of Mathematics,
California State University, Northridge, 
"Pythagorean and Platonic Bridges between
Geometry and Algebra," in BRIDGES: Mathematical
Connections in Art, Music, and Science 
, 1998,
archive.bridgesmathart.org/1998/bridges1998-121.pdf

Eberhart died of bone cancer in 2003. A memorial by his
high school class includes an Aug. 7, 2003, transcribed
letter from Eberhart to a classmate that ends…


… I earned MA’s in math (UW, Seattle) and history (UM, Missoula) where a math/history PhD program had been announced but canceled.  So 1984 to 2002 I taught math (esp. non-Euclidean geometry) at C.S.U. Northridge.  It’s been a rich life.  I’m grateful. 
 
Steve
 

See also another informative BRIDGES paper by Eberhart
on mathematics and the seven traditional liberal arts.

Tuesday, November 25, 2014

Euclidean-Galois Interplay

Filed under: General,Geometry — Tags: , — m759 @ 11:00 AM

For previous remarks on this topic, as it relates to
symmetry axes of the cube, see previous posts tagged Interplay.

The above posts discuss, among other things, the Galois
projective plane of order 3, with 13 points and 13 lines.

Oxley's 2004 drawing of the 13-point projective plane

These Galois points and lines may be modeled in Euclidean geometry
by the 13 symmetry axes and the 13 rotation planes
of the Euclidean cube. They may also be modeled in Galois geometry
by subsets of the 3x3x3 Galois cube (vector 3-space over GF(3)).

http://www.log24.com/log/pix11A/110427-Cube27.jpg

   The 3×3×3 Galois Cube 

Exercise: Is there any such analogy between the 31 points of the
order-5 Galois projective plane and the 31 symmetry axes of the
Euclidean dodecahedron and icosahedron? Also, how may the
31 projective points  be naturally pictured as lines  within the 
5x5x5 Galois cube (vector 3-space over GF(5))?

Update of Nov. 30, 2014 —

For background to the above exercise, see
pp. 16-17 of A Geometrical Picture Book ,
by Burkard Polster (Springer, 1998), esp.
the citation to a 1983 article by Lemay.

Monday, October 13, 2014

Raiders of the Lost Theorem

Filed under: General,Geometry — Tags: — m759 @ 12:05 PM

(Continued from Nov. 16, 2013.)

The 48 actions of GL(2,3) on a 3×3 array include the 8-element
quaternion group as a subgroup. This was illustrated in a Log24 post,
Hamilton’s Whirligig, of Jan. 5, 2006, and in a webpage whose
earliest version in the Internet Archive is from June 14, 2006.

One of these quaternion actions is pictured, without any reference
to quaternions, in a 2013 book by a Netherlands author whose
background in pure mathematics is apparently minimal:

In context (click to enlarge):

Update of later the same day —

Lee Sallows, Sept. 2011 foreword to Geometric Magic Squares —

“I first hit on the idea of a geometric magic square* in October 2001,**
and I sensed at once that I had penetrated some previously hidden portal
and was now standing on the threshold of a great adventure. It was going
to be like exploring Aladdin’s Cave. That there were treasures in the cave,
I was convinced, but how they were to be found was far from clear. The
concept of a geometric magic square is so simple that a child will grasp it
in a single glance. Ask a mathematician to create an actual specimen and
you may have a long wait before getting a response; such are the formidable
difficulties confronting the would-be constructor.”

* Defined by Sallows later in the book:

“Geometric  or, less formally, geomagic  is the term I use for
a magic square in which higher dimensional geometrical shapes
(or tiles  or pieces ) may appear in the cells instead of numbers.”

** See some geometric  matrices by Cullinane in a March 2001 webpage.

Earlier actual specimens — see Diamond Theory  excerpts published in
February 1977 and a brief description of the original 1976 monograph:

“51 pp. on the symmetries & algebra of
matrices with geometric-figure entries.”

— Steven H. Cullinane, 1977 ad in
Notices of the American Mathematical Society

The recreational topic of “magic” squares is of little relevance
to my own interests— group actions on such matrices and the
matrices’ role as models of finite geometries.

Friday, December 28, 2012

Cube Koan

Filed under: General,Geometry — Tags: , , , — m759 @ 4:56 AM
 

From Don DeLillo's novel Point Omega —

I knew what he was, or what he was supposed to be, a defense intellectual, without the usual credentials, and when I used the term it made him tense his jaw with a proud longing for the early weeks and months, before he began to understand that he was occupying an empty seat. "There were times when no map existed to match the reality we were trying to create."

"What reality?"

"This is something we do with every eyeblink. Human perception is a saga of created reality. But we were devising entities beyond the agreed-upon limits of recognition or interpretation. Lying is necessary. The state has to lie. There is no lie in war or in preparation for war that can't be defended. We went beyond this. We tried to create new realities overnight, careful sets of words that resemble advertising slogans in memorability and repeatability. These were words that would yield pictures eventually and then become three-dimensional. The reality stands, it walks, it squats. Except when it doesn't."

He didn't smoke but his voice had a sandlike texture, maybe just raspy with age, sometimes slipping inward, becoming nearly inaudible. We sat for some time. He was slouched in the middle of the sofa, looking off toward some point in a high corner of the room. He had scotch and water in a coffee mug secured to his midsection. Finally he said, "Haiku."

I nodded thoughtfully, idiotically, a slow series of gestures meant to indicate that I understood completely.

"Haiku means nothing beyond what it is. A pond in summer, a leaf in the wind. It's human consciousness located in nature. It's the answer to everything in a set number of lines, a prescribed syllable count. I wanted a haiku war," he said. "I wanted a war in three lines. This was not a matter of force levels or logistics. What I wanted was a set of ideas linked to transient things. This is the soul of haiku. Bare everything to plain sight. See what's there. Things in war are transient. See what's there and then be prepared to watch it disappear."

What's there—

This view of a die's faces 3, 6, and 5, in counter-
clockwise order (see previous post) suggests a way
of labeling the eight corners  of a die (or cube):

123, 135, 142, 154, 246, 263, 365, 456.

Here opposite faces of the die sum to 7, and the
three faces meeting at each corner are listed
in counter-clockwise order. (This corresponds
to a labeling of one of MacMahon's* 30 colored cubes.)
A similar vertex-labeling may be used in describing 
the automorphisms of the order-8 quaternion group.

For a more literary approach to quaternions, see
Pynchon's novel Against the Day .

* From Peter J. Cameron's weblog:

  "The big name associated with this is Major MacMahon,
   an associate of Hardy, Littlewood and Ramanujan,
   of whom Robert Kanigel said,

His expertise lay in combinatorics, a sort of
glorified dice-throwing, and in it he had made
contributions original enough to be named
a Fellow of the Royal Society.

   Glorified dice-throwing, indeed…"

Saturday, June 16, 2012

Chiral Problem

Filed under: General,Geometry — Tags: , — m759 @ 1:06 AM

In memory of William S. Knowles, chiral chemist, who died last Wednesday (June 13, 2012)—

Detail from the Harvard Divinity School 1910 bookplate in yesterday morning's post

"ANDOVERHARVARD THEOLOGICAL LIBRARY"

Detail from Knowles's obituary in this  morning's New York Times

William Standish Knowles was born in Taunton, Mass., on June 1, 1917. He graduated a year early from the Berkshire School, a boarding school in western Massachusetts, and was admitted to Harvard. But after being strongly advised that he was not socially mature enough for college, he did a second senior year of high school at another boarding school, Phillips Academy in Andover, N.H.

Dr. Knowles graduated from Harvard with a bachelor’s degree in chemistry in 1939….

"This is the relativity problem: to fix objectively a class of equivalent coordinatizations and to ascertain the group of transformations S mediating between them."

— Hermann Weyl, The Classical Groups, Princeton University Press, 1946, p. 16

From Pilate Goes to Kindergarten

The six congruent quaternion actions illustrated above are based on the following coordinatization of the eightfold cube

Problem: Is there a different coordinatization
 that yields greater symmetry in the pictures of
quaternion group actions?

A paper written in a somewhat similar spirit—

"Chiral Tetrahedrons as Unitary Quaternions"—

ABSTRACT: Chiral tetrahedral molecules can be dealt [with] under the standard of quaternionic algebra. Specifically, non-commutativity of quaternions is a feature directly related to the chirality of molecules….

Saturday, May 19, 2012

G8

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

"The  group of 8" is a phrase from politics, not mathematics.
Of the five groups of order 8 (see today's noon post),

the one pictured* in the center, Z2 × Z2 × Z2 , is of particular
interest. See The Eightfold Cube. For a connection of this 
group of 8 to the last of the five pictured at noon, the
quaternion group, see Finite Geometry and Physical Space.

* The picture is of the group's cycle graph.

Monday, May 7, 2012

More on Triality

Filed under: General,Geometry — Tags: — m759 @ 4:20 PM

John Baez wrote in 1996 ("Week 91") that

"I've never quite seen anyone come right out
and admit that triality arises from the
permutations of the unit vectors i, j, and k
in 3d Euclidean space."

Baez seems to come close to doing this with a
somewhat different i , j , and kHurwitz
quaternions
— in his 2005 book review
quoted here yesterday.

See also the Log24 post of Jan. 4 on quaternions,
and the following figures. The actions on cubes
in the lower figure may be viewed as illustrating
(rather indirectly) the relationship of the quaternion
group's 24 automorphisms to the 24 rotational
symmetries of the cube.

IMAGE- Actions of the unit quaternions in finite geometry, on a ninefold square and on an eightfold cube

Sunday, January 22, 2012

Souvenir*

Filed under: General,Geometry — Tags: — m759 @ 8:09 PM

From life's box of chocolates

Happy birthday to Piper Laurie.

* Those who prefer their
souvenirs without sentiment
may consult the quaternions.

Wednesday, January 4, 2012

Revision

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

I revised the cubes image and added a new link to
an explanatory image in posts of Dec. 30 and Jan. 3
(and at finitegeometry.org). (The cubes now have
quaternion "i , j , k " labels and the cubes now
labeled "k " and "-k " were switched.)

I found some relevant remarks here and here.

Tuesday, January 3, 2012

Theorum

Filed under: General,Geometry — Tags: — m759 @ 7:48 AM

In memory of artist Ronald Searle

IMAGE- Ronald Searle, 'Pythagoras puzzled by one of my theorums,' from 'Down with Skool'

Searle reportedly died at 91 on December 30th.

From Log24 on that date

IMAGE- Quaternion group acting on an eightfold cube

Click the above image for some context.

Update of 9:29 PM EST Jan. 3, 2012

Theorum

 

From RationalWiki

Theorum (rhymes with decorum, apparently) is a neologism proposed by Richard Dawkins in The Greatest Show on Earth  to distinguish the scientific meaning of theory from the colloquial meaning. In most of the opening introduction to the show, he substitutes "theorum" for "theory" when referring to the major scientific theories such as evolution.

Problems with "theory"

Dawkins notes two general meanings for theory; the scientific one and the general sense that means a wild conjecture made up by someone as an explanation. The point of Dawkins inventing a new word is to get around the fact that the lay audience may not thoroughly understand what scientists mean when they say "theory of evolution". As many people see the phrase "I have a theory" as practically synonymous with "I have a wild guess I pulled out of my backside", there is often confusion about how thoroughly understood certain scientific ideas are. Hence the well known creationist argument that evolution is "just  a theory" – and the often cited response of "but gravity is also just  a theory".

To convey the special sense of thoroughness implied by the word theory in science, Dawkins borrowed the mathematical word "theorem". This is used to describe a well understood mathematical concept, for instance Pythagoras' Theorem regarding right angled triangles. However, Dawkins also wanted to avoid the absolute meaning of proof associated with that word, as used and understood by mathematicians. So he came up with something that looks like a spelling error. This would remove any person's emotional attachment or preconceptions of what the word "theory" means if it cropped up in the text of The Greatest Show on Earth , and so people would (in "theory ") have no other choice but to associate it with only the definition Dawkins gives.

This phrase has completely failed to catch on, that is, if Dawkins intended it to catch on rather than just be a device for use in The Greatest Show on Earth . When googled, Google will automatically correct the spelling to theorem instead, depriving this very page its rightful spot at the top of the results.

See also

 

Some backgound— In this journal, "Diamond Theory of Truth."

Powered by WordPress