/sci/ - Science & Math

>>5413575
http://en.wikipedia.org/wiki/HoTT

lol, freaky.

Appearently these people just reinterpret the synatcical structure of homotopy theory like a logical calculus - hence there is a Curry–Howard correspondence from the theory to (types of) functional computation.
I'd really like to see if one can abstractly study the syntactical properties of general mathematical theories (like differential geometry, say) and in this way match totally different mathematical fields together. I mean By pointing out in what sense they differ and in what sense they don't.
Well, it might well be that topos theory is just that, to some extend.

Speaking of Boltzmann, because of the (stupid) thread about /lit/, I came across

http://letterstonature.wordpress.com/2010/11/20/boltzmann-philosopher/

(Reminds me that I did indecent things in Boltzmanns workroom.)

The ... traceless operators.

Well, well, well.

But string theory has E8 and General Relativity doesn't. What do?

>reality waves
I like where this is going

>>4046023
I lol'd.
But in fact, Josef looks pretty sympathetic

http://en.wikipedia.org/wiki/The_Art_of_Being_Right#Synopsis

I don't really have any suggestions and this isn't really an algorythm, but you'll like it anyway:

http://en.wikipedia.org/wiki/Friendship_paradox

>>3997804
real numbers
>sets
the topology will not be that of R^10 (just like a circle S^1 isn't R) but you still use reals as underlying field.

Otherwise you couldn't for exmaple imbed D-branes
http://en.wikipedia.org/wiki/D-brane

You have my vote too. I'd even pay the pie.

>PhD in mathematics
>job functor ... surjective
>lim_{t->0} <income(t)>=300k

\int \frac{dx}{\sqrt{2-\cos x }} =
x - x^3/12 + (11 x^5)/480 - (319 x^7)/40320 + O(x^9)

\int_{0}^{2\pi }\frac{dx}{\sqrt{2-\cos x }} =
4.68568033658707943570534352038336732790496620585890268873483368431597\
8439909010478586493754244990090677629187167092704008752807014940993760\
6151965325594479370682533678222818609839188879785713644337818511382509\
8254110988222416038266258572970042044613372586530009674648818218836124\
1611874894672343986447290033937759401968900016134752389290923361947766\
3195576016933116388254103835763105184820268971690341056590828164629261\
6945420372887218595006357599770507381411168342258938082832248456616080\
0724803015345227449569547599060294767618231028938410182179342075639572\
3178582072012883185362692048131938103309827644040699745563116837556336\
3255314616375344206137602997300960001847658788069766381666476883801353\
2232802675962550317795902960901993594347926647636704713675404435784653\
1409879315349752763145052954108782491369788754837706930786672838146583\
8141927755702982612888777910298729624617125913118232912947789633415320\
2827217086681763943410838585264962465999020155061872683717197771905657\
491370714904524691809

∫ |s(r)p(R)|² + |s(R)p(r)|² - 2*derp dr dR = 1/N²
∫ |s(r)|² dr · ∫ |p(R)|² dR + ∫ |s(R)|² dR · ∫ |p(r)|² dr = 1/N²
1 · 1 + 1 · 1 = 1/N²
2 = 1/N²
????
profit

>Equation
<span class="math">{\Gamma'}^k_{ij}=\frac{\partial x^p}{\partial y^i}
\frac{\partial x^q}{\partial y^j}
\frac{\partial y^k}{\partial x^r}[/spoiler]
>Sect of Science
philosophy maybe, not sure
>Film
depends on genre
>Documentary
Helvetica
>Sandwich filling
a sweet Hamiltonian

>>3710482
42 minutes late

I'm a physicist and I don't know why it works but here is some information:

2007 = 3*3*223

then you have

http://www.wolframalpha.com/input/?i=Table[Mod[223^n%2C+2007]%2C+{n%2C+1%2C+10}]

i.e. 223^n = {1,223,892,1561}

and all these numbers plus one seem to generate groups in your sense.
223^m mod 2007 is Z_2
and the other two are your group with 6 elements.

Let me refrase OPs question in the mindset of general relativity:

Do you believe in causality?

>>3691979
>astronomy
That's one way of putting it.

>>3666974
>It's about consciousness in the scientific sense only.
I don't think so.
If it's just about consciousness and you define it to be a function of your particle/energy-configuration and not the particles themselfes, then you'd probably have no problem with shifting that configuration around in space.

>>3480282
ah, reminds me of
http://en.wikipedia.org/wiki/Muffin-tin_approximation

(ya, I didn't actually go)

>>3466752
wär's dir lieber ich wär ein ungeduschter Amerikaner mit Harry Potter Brille und verfilztem Haar? ^^
Oder wie ist "Betrug" gemeint?