/sci/ - Science & Math

>>8818400
>>8818402
Huh, who would have thought that stuff like this is so complicated and complex. Human neurology truly is amazing.

Thx man, I´ll look into it. I´m better atm, so no depressing thoughts now. Sorry for bothering you guys.

>>8634494
How am I supposed to know? I`m starting it on Tuesdays, nigger.
But (in my case) it´s basically trying to subvert your thought circles and to change your handling of the dangerous emotional sliding. Also, learning how to form a stable relationship and how to stop harming myself, I guess.

Maybe I´ll post again next week, and tell you guys some details.

Made my QT 3.14 physics lab partner laugh a few times today.

Is this Alpha?

>>4672554
>you will never be able to solve the gramma function

>>4360479
>what the fuck happened

They were given rights. I mean that in the least misogynistic way possible, given the circumstances.

But seriously, there's a reason women and children are grouped together historically. What happens when you let a child eat whatever he wants, do whatever he wants? Chaos. They weren't made to regulate themselves. Male and females have a symbiotic relationship, they do the dishes and make sandwiches, we keep them in check. Simple as that.

>mfw I'll never be apart of the glorious 1950s master race

Hey topology fags. Why is a ball being compact equivalent to the underlying space being finite dimensional? Especially, I don't see the "==>" direction.

>Implying In a "fully defined" topological quantum field theory the spaces of states are not necessarily finite dimensional.

Interesting question OP.

It follows simply from the fact that the correlators assigned to the cap and the cup cobordism (the "2-point functions") equip the space of states with the structure of a dualizable object in the corresponding monoidal category of vector spaces, which are precisely the finite-dimensional objects.

Similarly, in a "fully defied" extended n-dimensional topological quantum field theory (a "fully local one") the "n-space of states" assigned to the point is a fully dualizable object.

But there are topological quantum field theories with non-finite state spaces, and extended TQFT with not-fully dualizable n-space of states. In the case of d=2, these are (somewhat misleadingly) known as TCFTs . Famous examples are the A-model and the B-model. And the Kapustin-Witten 4d TQFT reduces to these in certain compactifications (see for instance Kapustin's review pages 17-18).

So how can this be? The answer is that a "TCFT" is a TQFT that, as a cobordism representation, is defined only on the subcategory of cobordisms that are called "non-compact" or "with positive boundary". Roughly speaking, this is simply the subcategory obtained by discarding the cup (or the cap) cobordism. This removes from the TQFT the requirement to have dualizable state spaces, but otherwise retails all the structure of a TQFT.

For an extended such TQFT (a "fully local one") the state 2-spaces (those assigned to the point) still have lots of nice structure, even without being fully dualizable. One says that they are Calabi-Yau objects.

A detailed discussion of all this is in is section 4.2 of Lurie's On the classification of TFTs.

I want my working class family to be happy and proud of me. I'm getting a degree so I can help them.
And as a self-centered goal, I want to become wise and virtuous, to be a good person.
I don't care about anything else.

to mathematicans/logicans/hard CS people:
Can you make automated proofs or construct automated proof machines, in the Turing sense?

i think with growing specialization it becomes more important that scientific actors autonomous reflect their role and function for society. otherwise nonsensic wars of scientific-schools and ideologies arise.

I can do 86^2. Maybe 86^3 with a lot of time and concentration.

> he thinks depression is genetic