|
|
|
|   |
|
|
| Last week most active authors |
| No posts for a week |
|
|
|
  |
|
|
|
|   |
| Last active threads |
Work begins on m-way traffic plan.
Started Doug · Date: Sep 17, 2008 07:15 ·
44 post(s) |
Is it illegal to drive over kerbs?
Started Doug · Date: Sep 10, 2008 23:10 ·
59 post(s) |
What if: the Church had NOT condemned Galileo
Started Jerry Kraus · Date: Sep 2, 2008 07:49 ·
214 post(s) |
What binary operation lambda quantifier corresponds to?
Started Tegiri Nenashi · Date: Sep 6, 2008 11:52 ·
24 post(s) |
A sceptics nightmare
Started bigfletch8 · Date: Sep 3, 2008 16:05 ·
46 post(s) |
Fundamental Problems of Lisp
Started xahlee · Date: Aug 23, 2008 16:42 ·
10 post(s) |
Proof of Law of Conservation of Mass?
Started Sanny · Date: Aug 28, 2008 08:44 ·
46 post(s) |
Tell me about warp device?
Started Sanny · Date: Aug 5, 2008 07:27 ·
31 post(s) |
FROM NON-BEING TO BEING
Started Hamady · Date: Aug 22, 2008 08:36 ·
6 post(s) |
side-effects, I/O, and the lot
Started Nyang A. Phra · Date: Aug 21, 2008 05:20 ·
10 post(s) |
|
| Last week hot threads |
| No posts for a week |
|
|
|
|
  |
| Latest posts |
Re: Work begins on m-way traffic plan.
Group: uk.transport · Group Profile · Search for theorem in uk.transport
Author: Adrian
Date: Sep 18, 2008 05:57
... popular vote and the economy of the country. Your thoughts on the elasticity of demand caused by congestion are interesting and relatively intelligent (to the point where I suspect you copied them from somewhere), but - as I said in the other reply - over- simplistic and based on a false assumption. To then introduce such an unlikely random factor in an attempt to prove the theorem merely highlights the fact you fucked up. Again.
Show full article (2.10Kb) |
Re: Is it illegal to drive over kerbs?
Group: uk.transport · Group Profile · Search for theorem in uk.transport
Author: BrianW
Date: Sep 15, 2008 01:04
... a surprise to anyone? Gollum + law = fuckup appears to be just as reliable a guide as Gollum + maths = fuckup and Gollum + science = fuckup. Applying Occams Razor to your hypothesis, we see that the second qualifier appears to be superfluous. The refined version of the formula simply reads Gollum=fuckup. Yes, you are right - the instances I cited are in fact subsets of the wider theorem, which you correctly state.
Show full article (0.67Kb) |
Re: What if: the Church had NOT condemned Galileo
Group: alt.philosophy · Group Profile · Search for theorem in alt.philosophy
Author: spudnik
Date: Sep 7, 2008 17:56
... is a quadratic residue mod A. Similarly, taking [1] mod D: Ax^2 = c mod D (Ax)^2 = Ac mod D Therefore, Ac is a quadratic residue mod D. thus: now, prove Fermat's Little Theorem, some one!... some one, herinat, prove biquadratic reciprocity, and quintic!... I mean, it would not really surprize me, if he actually did prove a new result. but, big magnanimous if/then, he'd be able to explain it in so many words...
Show full article (6.02Kb) |
Re: What if: the Church had NOT condemned Galileo
Group: alt.philosophy · Group Profile · Search for theorem in alt.philosophy
Author: spudnik
Date: Sep 7, 2008 13:24
... is a quadratic residue mod A. Similarly, taking [1] mod D: Ax^2 = c mod D (Ax)^2 = Ac mod D Therefore, Ac is a quadratic residue mod D. thus: now, prove Fermat's Little Theorem, some one!... some one, herinat, prove biquadratic reciprocity, and quintic!... I mean, it would not really surprize me, if he actually did prove a new result. but, big magnanimous if/then, he'd be able to explain it in so many words...
Show full article (5.25Kb) |
Re: What binary operation lambda quantifier corresponds to?
Group: comp.lang.functional · Group Profile · Search for theorem in comp.lang.functional
Author: galathaea
Date: Sep 7, 2008 03:04
... one might want to see discussions i have had on orthomodular lattices and quantum logic or denotational and operational semantics or if interested in mathematical competence maybe my generalised trigonometry and multisection theorems on (q-)hypergeometrics if one is interested in my poetry or philosophy or politics or my experimental electronica then by all means feel free to explore (and satisfy my blatant ...
Show full article (5.87Kb) |
Re: What if: the Church had NOT condemned Galileo
Group: alt.philosophy · Group Profile · Search for theorem in alt.philosophy
Author: spudnik
Date: Sep 6, 2008 20:48
...actually was interested in numbertheory, all of this would ne'er have existed. oh, but, he's no mere student, he's the Queen of Mathematics, himself ... and, what does that make AP? now, prove Fermat's Little Theorem, some one!... some one, herinat, prove biquadratic reciprocity, and quintic!... I mean, it would not really surprize me, if he actually did prove a new result. but, big magnanimous if/then, he'd be able to explain it in...
Show full article (5.17Kb) |
Re: A sceptics nightmare
Group: alt.philosophy · Group Profile · Search for theorem in alt.philosophy
Author: Sean
Date: Sep 5, 2008 06:33
PS http://physicsinsights.net/pi_from_pythagoras-1.html This was interesting for sure ......... Finding ? from Pythagoras's Theorem On this page, we'll obtain a reasonably good value for ? using nothing more advanced than Pythagoras's theorem. The accuracy of the value we obtain will actually be limited by accumulated floating point errors -- the technique we'll use doesn...
Show full article (0.75Kb) |
Re: A sceptics nightmare
Group: alt.philosophy · Group Profile · Search for theorem in alt.philosophy
Author: Sean
Date: Sep 5, 2008 06:25
... the Euclidean universe from .... what? Good queries there. How exact does one need to be, to be rational? Do we actually live in a rational universe anyway? :-) One of the consequences of the Pythagorean theorem is that incommensurable lengths (ie. their ratio is irrational number), such as the square root of 2, can be constructed. A right triangle with legs both equal to one unit has hypotenuse length square root of 2. The ...
Show full article (1.62Kb) |
Re: Fundamental Problems of Lisp
Group: comp.lang.functional · Group Profile · Search for theorem in comp.lang.functional
Author: Ray Dillinger
Date: Aug 31, 2008 08:18
... what a statement is supposed to do is proving a theorem given the defined axioms of the formal semantics. The semantics ...of a language, in much the same way that automated theorem provers on machines with finite memory are unable to prove some theorems. • semantics is tied to syntax. There cannot be semantics without... is and does, and therefore allows us to prove theorems about what is and isn't possible for compilers. Anyway...
Show full article (4.72Kb) |
Re: Fundamental Problems of Lisp
Group: comp.lang.functional · Group Profile · Search for theorem in comp.lang.functional
Author: xahlee
Date: Aug 29, 2008 16:40
... Â Â Â Â Â Â Â * Â Â Â Â Â Â Â * Â Â Â Â Â Â Â * as for interests, i have much more interest in perfecting my expertise in elisp, and learning Haskell, and learning a theorem proving lang such as coq to enhance my understanding in mathematical logic. I also have far more interest in many math subjects and geometry programing subjects. I have much existing projects to be done in geometry of plane curves, tiling theory, ...
Show full article (9.56Kb) |
|
|
|