pjdorrell

11 ms·

61.
by pjdorrell 7y ago
The boring answer is that the initial origin of life depends on a sequence of extremely improbable chemical reactions (even given the prior existence of the most favourable possible “organic soup”), and there is no other life of any kind in
62.
Hypothesis: Music Lets Us Practice Feeling Strong Emotions(whatismusic.info)
2 points by pjdorrell 7y ago|1 comments
63.
Music Science, for People Who Don't Like Music(whatismusic.info)
17 points by pjdorrell 7y ago|4 comments
64.
Why Are Music-Generated Feelings Weakly Bound?(whatismusic.info)
1 points by pjdorrell 7y ago|0 comments
65.
Music and Machine Learning(whatismusic.info)
1 points by pjdorrell 7y ago|0 comments
66.
by pjdorrell 7y ago
“Hot” and “cold” are not, as far as I know, feelings that music can express.
67.
by pjdorrell 7y ago
An imagined perception is a perception that depends on the perceiver making some effort to suppose that something is true. It could be a daydream, or it could be when you watch a fictional film, which requires you to imagine that it is real
68.
Music Generates Feelings That Are Only Weakly Bound to the Music(whatismusic.info)
159 points by pjdorrell 7y ago|66 comments
69.
The Situation Hypothesis (a hypothesis about music)(whatismusic.info)
1 points by pjdorrell 7y ago|0 comments
70.
Music Is a Vestigial Trait(whatismusic.info)
2 points by pjdorrell 7y ago|1 comments
71.
The Characteristics of Musical Perception and Musical Pleasure(whatismusic.info)
2 points by pjdorrell 7y ago|0 comments
72.
by pjdorrell 7y ago
This is quite similar in some ways to my own theory that I posted recently at https://whatismusic.info/blog/HypothesisMusicWasALanguageSys... , because it postulates a sudden transition from non-recursive language to re
73.
Hypothesis: Music Was a Language System(whatismusic.info)
2 points by pjdorrell 7y ago|0 comments
74.
by pjdorrell 8y ago
I always click on anything on the front page where I don’t understand the headline. If it’s good enough to get votes _and_ I don’t know what it is, then it’s likely to be a good opportunity for me to learn something new.
75.
by pjdorrell 9y ago
Coming soon to your favourite login page: “Select all squares with neatly folded laundry. If there are none, click skip”
76.
by pjdorrell 9y ago
Binaries almost never form from stars “wandering” and “encountering” other stars. Current scientific understanding is that almost all stars are formed as binaries in the first place.
77.
by pjdorrell 9y ago
http://thinkinghard.com/blog/IdentityTheft.html (2005)
78.
by pjdorrell 9y ago
"Mathematics" does not predict a mass extinction. Someone has a theory which predicts a mass extinction, and that theory has mathematics in it.
79.
by pjdorrell 9y ago
http://www.renewamerica.com/columns/fischer/120601
80.
by pjdorrell 9y ago
Surely some borrowers and lenders make decisions about making and taking loans based on the actual interest rates on the actual loans? In which case it doesn't matter so much if the rates are calculated based on a fictional assumption
81.
by pjdorrell 9y ago
The diagram appears to be missing Dependently Typed programming languages.
82.
by pjdorrell 9y ago
Does this really use advanced features of Homotopic Type Theory? Does it really require the Univalence Axiom? (Caveat: I don't yet properly understand either of those two things.) It seems to me that the representation of cardinalities
83.
by pjdorrell 9y ago
If Luna is dependently typed, can it be used to do theorem proving, eg like Idris?
84.
by pjdorrell 9y ago
Music is not language and it is not "a language". It is something that _seems_ like language. This is because music has evolved as a mutated copy of part of the human language acquisition instinct. The mood change caused by music
85.
by pjdorrell 9y ago
In North Korea, browser history deletes you!
86.
by pjdorrell 10y ago
My understanding of the promise of Idris is that anything you _want_ to put into the type definitions for your application, you _can_ put into the type definitions.
87.
by pjdorrell 10y ago
Also: http://thinkinghard.com/domkol/main.html This interactive visualization lets you see that the number of times the polynomial function "winds" around the circumference of the circle is equal to the numbe
88.
by pjdorrell 10y ago
I believe I might have been the first person to correctly analyse the thermodynamics of evolution by natural selection: http://thinkinghard.com/evolution/2ndlaw.html (originally http://web.archive.org/
89.
by pjdorrell 10y ago
By "locally" I think they mean something like "entropy will decrease within what looks like a closed system, and it might not be immediately obvious where else in the universe the corresponding increase in entropy is occurrin
90.
by pjdorrell 10y ago
You are looking for a "theory of music", as opposed to "music theory", ie an explanatory or scientific theory. I offer my own efforts in this direction at http://whatismusic.info/ .

More ›