forked from martindale/snarl
-
Notifications
You must be signed in to change notification settings - Fork 0
/
facts.js
189 lines (189 loc) · 19.9 KB
/
facts.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
module.exports = {
topology: [
'It takes six colors to color a map on a Möbius strip, seven for a map on a torus.',
'\'There is no branch of math, however abstract, which may not some day be applied to phenomena in the real world.\' -- Nikolai Lobachevsky',
'Is there an ALGORITHM for coloring any map in the plane with four colors? If so, how efficient is it?',
'Archimedean solids are dual to the Catalan solids.',
'Any isometry of the plane is a composition of at most three reflections.',
'Thales theorem: A line drawn parallel to one side of a triangle cuts the other two sides proportionately.',
'For n >= 7, there are no convex n-gons which tesselate.',
'Poincaré-Perelman theorem: The 3-sphere is the only simply connected closed 3-manifold.',
'Legendre gave the first rigorous proof of Euler\'s formula V - E + F = 2. Proof projected out to a sphere used spherical trig.',
'Every cross section of a sphere by a plane is a circle.',
'"That student is taught the best who is told the least." -- topologist R. L. Moore of Moore Method fame',
'The Euler characteristic of a closed 3-manifold is zero.',
'A sphere has the least surface area for a given volume in n dimensions.',
'The fundamental group of a circle is isomorphic to the integers.',
'OH: "The relationship between the geometers was solid, but Platonic."',
'An n-dimensional ball of unit volume has radius approximately sqrt(n / 2 pi e)',
'The surface area of a unit sphere in n dimensions is n times its volume.',
'A sphere has easy homology but hard homotopy. An Eilenberg-MacLane space has easy homotopy but hard homology. via @michiexile',
'Henri Poincaré introduced homology in 1895. Its group structure was discovered by Emmy Noether approximately 30 years later.',
'Italian artist Filippo Brunelleschi established the mathematical study of perspective drawing in 1413.',
'The dodecahedron and icosahedron are duals of each other.',
'The carbon atoms in a C_20 H_20 molecule are arranged as the corners of a dodecahedron.',
'Exotic spheres: There are 28 smooth structures on the 7-sphere. (Milnor and Kervaire)',
'Compact connected orientable 2-manifolds are determined up to homeomorphism by their genus.',
'The circle is the only compact connected 1-manifold.',
'Non-euclidean geometry was developed around 1830.',
'The cross product w = u x v is orthogonal to both u and v.',
'"The first important notions in topology were acquired in the course of the study of polyhedra." -- Henri Lebesgue',
'Gauss-Bonnet: The integral of Gaussian curvature over a manifold is 2 pi times its Euler characteristic.',
'A sphere has Euler characteristic 2.',
'There are only 3 regular solids in R^n for n > 4.',
'There are six regular solids in R^4. Five are analogs of the five regular solids in R^3, but one, the 24-cell, has no 3-D analog.',
'If a convex polygon A is contained inside a convex polygon B, the perimeter of A must be less than the perimeter of B.',
'A convex function is continuous on the interior of its domain.',
'Soccer balls and Buckminsterfullerene (Carbon 60) molecules are examples of truncated isosohedra.',
'A set K is a cone if tK is contained in K for all t >= 0.',
'A Banach space X is finite dimensional iff the weak* and norm topologies on X* coincide.',
'A Banach space X is finite dimensional iff the weak and norm topologies on X coincide.',
'A Banach space X is finite dimensional iff the closed unit ball of X is compact.',
'All connected abelian Lie groups have the form T^n x R^m where T^n is an n-torus.',
'A projective plane has Euler characteristic 1.',
'Hairy ball theorem, formal version: Every continuous tangent vector field on S^{2n} must be zero somewhere.',
'Hairy ball theorem, informal version: You can\'t comb the hair on a billiard ball.',
'The first homology group H_1(X) is the abelianization of the first homotopy group pi_1(X).',
'If a space X is convex, the homology groups H_p(X) are 0 for all p > 0.',
'A space is simply connected if its fundamental group is trivial.',
'"There is no branch of math, however abstract, which may not some day be applied to phenomena in the real world." -- Nikolai Lobachevsky',
'There are 8 semi-regular (Archimedean) tessellations.',
'Heron\'s formula. For a triangle with sides a, b, and c, define s = (a+b+c)/2. Then area^2 = s(s-a)(s-b)(s-c)',
'A space is connected if it has no proper subsets that are both open and closed.',
'Brouwer\'s theorem: Every continuous map from a closed ball to itself has a fixed point.',
'Brown\'s theorem: The set of regular values of a smooth map between manifolds is dense.',
'Convex polygons of more than 6 sides cannot tessellate.',
'Any compact smooth n-manifold can be embedded in R^N where N <= 2n + 1.',
'There are 28 distinct smooth structures on the sphere S^7.',
'All differential structures on the sphere S^n are diffeomorphic for n < 7.',
'The uniform limit of continuous functions is continuous.',
'There are currently 14 known types of convex pentagons that can tessellate.',
'A torus and a Klein bottle both have Euler characteristic 0.',
'"Since the mathematicians have grabbed hold of the theory of relativity, I myself no longer understand it." -- Einstein',
'Any quadrilateral (even non-convex) can be used to make a tessellation.',
'The fundamental group of the product of two spaces is the direct product of their fundamental groups.',
'If X is a deformation retract of Y, X and Y have isomorphic fundamental groups.',
'A \'fake\' R^4 is a space homeomorphic to R^4 but not diffeomorphic.',
'An open connected subset of the complex plane is path connected.',
'Baire category theorem: No complete metric space is the countable union of nowhere dense sets.',
'"The time to work on a problem is after you\'ve solved it." -- topologist R. H. Bing',
'The fundamental group of a projective plane P^2 has order 2.',
'A metric space is compact iff it is complete and totally bounded.',
'The fundamental group of a torus is isomorphic to Z x Z.',
'A metric space X is complete if every Cauchy sequence in X converges to a point in X.',
'The product of regular spaces is regular.',
'The product of Hausdorff spaces is Hausdorff.',
'A space X is path connected if for every pair of points x, y there is a continuous function f:[0,1]->X with f(0) = x and f(1) = y.',
'Any triangle can be used to make a tessellation.',
'A space is connected if it is not the union of disjoint open sets.',
'Finite products of locally compact spaces are locally compact.',
'A space is sequentially compact if every sequence has a convergent subsequence.',
'The image of a compact set under a continuous function is compact.',
'A compact subset of a Hausdorff space is closed.',
'A compact Hausforff space is normal.',
'Separation axioms: T4 => T3½ => T3 => T2 => T1 => T0',
'A closed subset of a compact space is compact.',
'A space is locally compact if every point has an open neighborhood whose closure is compact.',
'A space is compact if every open cover has a finite subcover.',
'Urysohn\'s Metrization Theorem: A second countable regular space is metrizable.',
'A subset of X is dense if its closure is X.',
'A function between two topological spaces is continuous if the inverse image of every open set is open.',
'A closed subset of a normal space is normal.',
'A path connected space is connected. The converse does not always hold.'
]
, smiff: [
"Will enjoys playing chess.",
"As an early actor on 'The Fresh Price of Bel-Air' Will would memorize the entire script and lip everyone's lines while filming.",
"For one of Jada Pinkett Smith's birthdays, Will Smith created a DVD message telling his wife there were clothes upstairs and a car would pick her up in 20 minutes. She was taken to the airport and flown to San Francisco, where Will was waiting for her at a restaurant she'd been reading about. He told PEOPLE, 'That's how Big Will does it!'",
"'We are who we choose to be.' - Will Smiff",
"Smiff attended Overbrook High School in West Philadelphia for the majority of his high school years. However, he also spent a short time attending Archbishop John Carroll High School in Radnor.",
"Smith has been married twice. His first marriage in 1992 lasted only three years but produced a son, Willard Smith III, who is also known as Trey.",
"Will Smith could bench 385 pounds while filming I, Robot",
"A millionaire by age 20, Will Smith admits to spending lavishly on jewelry, a house and luxury cars early in his career. He and his buddies once convinced the salespeople at Gucci to close the store so they could enjoy a private shopping spree. 'Being able to buy anything you want makes you a little crazy,' Smith later told PEOPLE.",
"Will Smith turned down MIT to pursue a music career",
"Known for his boundless confidence, Will Smith was worried about making the leap from rapper to actor. When called in to audition for The Cosby Show and A Different World, Smith was a no-show. 'I realized later how scared I was to take that step,' he told PEOPLE.",
"Will Smith speaks fluent Spanish",
"Will Smith paid for each of his Fresh Prince of Bel-Air costars to upgrade their onset dressing rooms in 1995. 'Mine was called Daphne's little bordello,' Daphne Maxwell Reid, who played Smith's Aunt Viv, told PEOPLE. 'It had a gold brocade chair with cupids on it.'",
"Will Smith turned down the role of Neo in The Matrix",
"Will Smith wrote the children's book Just the Two of Us",
"Will Smith met wife Jada Pinkett Smith when she tried out for the role of his girlfriend on 'The Fresh Prince of Bel-Air' (1990). The role eventually went to Nia Long.",
"Will Smith has three children. Son, Willard Smith III (Trey Smith) born in November 11, 1992, with Sheree Fletcher. Son, Jaden Christopher Syre Smith (Jaden Smith) born July 8, 1998 and daughter, Willow Camille Reign Smith (Willow Smith) born October 31, 2000 with Jada Pinkett Smith.",
"Will Smith has said he based his character Captain Steven Hiller in Independence Day (1996) on his favorite big screen hero, Harrison Ford, most notably his performances of Han Solo in Star Wars (1977) and its sequels.",
"Will's siblings are: Pam Smith (born in 1964), and twins Ellen and Harry Smith (born in 1971).",
"Will Smith won a Grammy Award for the song 'Summertime' during his rap career.",
"Will Smith received the first ever Grammy Award for Best Rap Performance, for the song 'Parents Just Don't Understand' in 1989 with his partner Jeffrey A. Townes (aka Jazzy Jeff).",
"Will Smith was chosen by People magazine as one of the 50 Most Beautiful People in the World. [1998]",
"Smith's pilot test show for 'The Fresh Prince of Bel-Air' (1990) was directed by Debbie Allen.",
"Will Smith met his first wife, Sheree Fletcher, at a taping of 'A Different World' (1987) in 1991.",
"As a public role model, Will Smith hosted the Presidential Inaugural Celebration for Youth, as part of the Gala for President Bill Clinton. [January 1993]",
"Will Smith is a graduate of Philly's legendary Overbrook High School, whose alumni include Wilt Chamberlain, Hal Lear, Wali 'Wonder' Jones, Walt Hazzard, The Dovells, The Orlons, DeeDee Sharp, etc. and, in tribute to his student years there, his production company is called Overbrook Entertainment.",
"Will Smith attended the prestigious Julia Reynolds Masterman Laboratory and Demonstration School in Philadelphia.",
"Will Smith turned down the role of Neo in The Matrix (1999).",
"Will Smith is the first hip-hop artist to be nominated for an Academy Award.",
"Will Smith speaks fluent Spanish.",
"Will Smith is ranked #2 on Star TV's Top Ten Box Office stars of the 1990s (2003).",
"Will Smith had a chart-hit together with DJ Jazzy Jeff (aka Jeffrey A. Townes.)",
"Will Smith dropped from Columbia Records as an artist after lackluster sales of his third solo album, which was self-titled, and greatest hits compilation. [Summer 2003]",
"Will Smith incorporates the line 'Aw, hell no!' into all his movies as a running catch phrase like Arnold Schwarzenegger's 'I'll be back!'.",
"Will Smith is ranked #15 in TV Guide's list of 'TV's 25 Greatest Teen Idols' (23 January 2005 issue).",
"Will Smith gained a place in the Guinness World Records book for most public appearances in 12 hours, by attending three red carpet 'premieres' for Hitch (2005/I) on 22nd February 2005. He walked the red carpet and introduced the film at Manchester, Birmingham, and finally for the premiere in London, England.",
"Will Smith once stated that in his whole career, he most regrets turning down the part of Neo in The Matrix (1999) and the film that he most regrets making was Wild Wild West (1999).",
"Will Smith has been at his adult height of 6' 2 since he was 13, although he is now about 60 pounds heavier than he first was when he reached this height.",
"Premiere Magazine ranked Will Smith as #44 on a list of the Greatest Movie Stars of All Time in their Stars in Our Constellation feature (2005).",
"Will Smith sang a few lines 'Wild Wild West' to his on screen cousin Carleton, a movie in which he starred 6 years later.",
"Will Smith hosted the MTV Movie Awards in 1994.",
"Will Smith considered for the role of 'Mr. Smith' in Mr. & Mrs. Smith (2005) before Brad Pitt was cast.",
"Will Smith is supposedly a huge fan of the Swedish well-known (but barely known in the U.S.) melodic heavy metal band Soilwork.",
"Will Smith is ranked #66 in VH1's 100 greatest Teen Stars.",
"Will Smith holds the record for most Kids Choice Awards with a whopping six wins.",
"Will Smith is ranked #14 on Premiere's 2006 'Power 50' list. Had ranked #18 in 2005. He is the second-highest ranked actor, behind only Tom Cruise.",
"Will Smith and Jada Pinkett Smith were forced to leave their home in California because a bush fire threatened to destroy it and several other houses in the same area. [October 2005]",
"Will Smith's 1995 divorce from ex-wife Sheree Fletcher led to a $900,000 lump sum divorce settlement for Zampino plus $24,000 per month in alimony and child support; this equals $288,000 a year.",
"Will Smith lost his place in the Guiness World Records book for most public appearances in 12 hours to German actors Jürgen Vogel and Daniel Brühl, who attended four red carpet premieres of their movie Ein Freund von mir (2006), one more than Will (22 October 2006).",
"In the 1998 rap lyrics of 'Gettin' Jiggy', Will Smith says that Muhammad Ali would call him 'The Greatest.' Two and a half years later, he played the title role in Ali (2001).",
"An animated caricature of Will Smith appeared in 'Men in Black: The Series' (1997) (the animated series adaptation of Men in Black (1997)), alongside a caricature of his MIB co-star Tommy Lee Jones, set against a shot that parodied one of the famous low angle shots of a building being threatened by a flying saucer, an in-joke reference to Smith's 1996 hit 'Men in Black: The Series' (1997), which preceded Men in Black (1997).",
"Will Smith's character from Men in Black (1997), Agent Jay, was not originally written to specifically be a black man. In fact, the role was offered to Caucasian actors Chris O'Donnell and David Schwimmer before Smith accepted the part.",
"Will Smith had to undergo treatment on his shoulder in a New York hospital after he suffered a strain. [March 2007]",
"Will Smith was among the guests at Tom Cruise's and Katie Holmes's wedding ceremony in Italy.",
"Will Smith was ranked #30 on VH1's 50 Greatest Hip Hop Artists along with DJ Jazzy Jeff & The Fresh Prince.",
"Will Smith ranked #29 on VH1's 100 Sexiest Artists.",
"In 2007, Will Smith ranked #5 on Entertainment Weekly's The 50 Smartest People in Hollywood.",
"December 2007 - According to Forbes, for each dollar he got paid, Smith's movies averaged $10 of gross income.",
"Will Smith was a millionaire before the age of 20.",
"In 2004, Will Smith's net worth was estimated to be $188 million.",
"In 2007, Forbes Magazine estimated Will Smith's earnings for the year at $31 million.",
"Will Smith is good friends with Ken Foree.",
"Will Smith is a huge fan of Professional Wrestling.",
"Will Smith is often called 'Mr. July' by the media due to the fact that most of his summer blockbusters open in July.",
"As of Hancock (2008), Will Smith holds the record for the actor to star in the most consecutive $100 million-grossing movies (8).",
"Will Smith and his daughter Willow Smith both had movies opening 2 July, 2008. His was Hancock (2008), hers was Kit Kittredge: An American Girl (2008).",
"Will Smith has appeared in two films starting with the word 'I', I, Robot (2004) and I Am Legend (2007).",
"Will Smith wrote and performed the song, 'Just the Two of Us', about his first son, Trey Smith.",
"Will Smith was considered for the role of Detective James Carter in Rush Hour (1998).",
"Will Smith holds the record of appearing in the most consecutive $100 million-grossing movies (8).",
"Will Smith was in consideration for the part of Curtis Taylor Jr in Dreamgirls (2006). However Jamie Foxx was cast instead.",
"Will Smith's Birth Card is the Queen of Hearts.",
"Will Smith has solved Rubik's cubes in both The Fresh Prince of Bel Air and The Pursuit of Happiness. This is a real talent of his; he has shown on live TV that he can solve a Rubik's Cube in under 55 seconds.",
"The Bridge On The River Kwai is Will Smith's favorite movie."
],
interstella: [
'Only Shep, Earl and Octave speak in the film. Shep sings "Digital Love"; Octave sings "One More Time" and appears to convey information in "Short Circuit"; Earl talks to Stella during "Crescendolls", but is unheard.',
'Daft Punk themselves make a brief cameo appearance in the film during the Golden Record Awards scene (obviously, losing to The Crescendolls); as the candidates are being named, they appear in the audience with their robotic faces saying "Happy" and "?", and they appear in the nominations reel with said robotic faces saying "Peace" and a star emoticon, followed by "Great" and a broken heart emoticon once the winner is announced.',
'When Octave enters the record company\'s building, the security guard is watching a soccer match between France and Japan, with the score being even 1-1. The score later changes to 2-1 as France scores. Both members of Daft Punk are French, and Matsumoto is Japanese.',
'The last scene of the film contains a lot of Daft Punk merchandise. What can be seen are vinyl records of Homework, Discovery (with side D being played on the record player), Alive 1997, and a DVD copy of D.A.F.T.',
'The song featured in the end credits is listed as "Aerodynamic (Daft Punk Remix)", though this version differs from the remix featured in Daft Club.',
'There\'s no dialogue in the entire film.',
'The names of the characters can be found in the extras on the DVD. The band member\'s names are Octave (keyboard), Stella (the female bass player), Arpegius (the blond guitar player), and Baryl (drums). The hero that comes to the band\'s rescue is named Shep. The villain is named The Earl of Darkwood.',
'In Earl de Darkwood\'s backstory, the aliens shown captured and disguised as humans are Wolfgang Amadeus Mozart, Jimi Hendrix, Ella Fitzgerald, Janis Joplin, and Jimmy Page.',
],
donkey: [
'http://i.imgur.com/q2DVKAi.jpg',
'http://i.imgur.com/0z8xnE1.jpg',
'http://i.imgur.com/h0lbxPg.jpg'
],
compliment: [
'manly as fuck',
'a damn smooth mother',
'one manly mother',
]
};