[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 74 KB, 600x307, Okazaki.png [View same] [iqdb] [saucenao] [google]
9227031 No.9227031 [Reply] [Original]

What are the most outlandish notations you have ever encountered /sci/?
>take your Standard Model Lagrangian outta here

>> No.9227092

https://en.wikipedia.org/wiki/Bra-ket_notation

>> No.9227180
File: 28 KB, 481x384, ChaosBook.png [View same] [iqdb] [saucenao] [google]
9227180

http://www.streamsound.dk/book1/chaos/Chaos/assets/basic-html/index.html#1

>> No.9227775

>>9227180
If you don't understand this you might be retarded

>> No.9227874
File: 140 KB, 1600x979, designlangauge-1.jpg [View same] [iqdb] [saucenao] [google]
9227874

Mechanical Notation, Charle's Babbage's crazy way of drawing machines. We still don't understand it.

http://www.i-programmer.info/news/82-heritage/8506-plan-28-makes-progress-in-understanding-babbages-mechanical-notation-.html

>> No.9227881

>>9227031
>Moon Runes : The Thread

>> No.9228169

>>9227092
no

>> No.9228265

>>9227031
>inb4 Shinichi Mochizuki

>> No.9228268

>>9227031
lol I wanna see the latex script for that, son

>> No.9228274
File: 141 KB, 613x352, p_39.jpg [View same] [iqdb] [saucenao] [google]
9228274

>>9227031
Yours is ridiculous

>> No.9228314

I only have 1 big diagram in my thesis

>> No.9228651

>>9227874
I looks like a pre-computer form of VPL

>> No.9228669

>>9228651
to this day we don't have verilog for mechanical systems, cause gears and shit actually have to go places.

>> No.9228691

>>9227874
Looks like a wiring diagram or function block code, cool.

>> No.9228780
File: 18 KB, 617x213, 617px-Penrose_covariant_derivate.svg.png [View same] [iqdb] [saucenao] [google]
9228780

>>9228691
Penrose Tensor Notation

>> No.9228852

>>9228274
What exactly is it, anon?

>> No.9228865
File: 9 KB, 320x180, begriffsschrift.jpg [View same] [iqdb] [saucenao] [google]
9228865

Gentzen's way of writing proofs

>>9228274
This is actually just a (big) commutative diagram, like when you write [math]A \overset{f}{\longrightarrow} B[/math] to say f is a map from A to B.

>> No.9228877
File: 18 KB, 480x360, begriffsschrift.jpg [View same] [iqdb] [saucenao] [google]
9228877

>>9228865
Actually Frege, not Gentzen

>> No.9228911
File: 92 KB, 1618x1828, string diagram.png [View same] [iqdb] [saucenao] [google]
9228911

>>9228780

Another use of that notation in some John Baez book about higher dimensional algebra

>> No.9229226

>>9228911
Ehat the heck is that

>> No.9229292

>wagon wheels

>> No.9229326

>>9228911
what the actual fuck

>> No.9229450

>>9228911
?

>> No.9229475

>>9227775
OP said outlandish, not difficult.

>> No.9229869

>>9227031
those sums look like they're about to murder their entire clan

>> No.9229991

>>9228877
Frege made everything unnecessarily difficult

>> No.9230046
File: 183 KB, 778x827, Screenshot (30).png [View same] [iqdb] [saucenao] [google]
9230046

aaaaaaaaaa

>> No.9230085

>>9227031
[math]i^{2}[/math]
No idea what it means.

>> No.9230096
File: 188 KB, 303x450, 1501771168318.jpg [View same] [iqdb] [saucenao] [google]
9230096

>>9228911
>there are brainlets ITT right now that don't understand graphical calculus
Are you serious?

>> No.9230390

>>9230096
is that like where you look for the max or min

>> No.9230527
File: 106 KB, 522x711, image004.gif [View same] [iqdb] [saucenao] [google]
9230527

not necessarily notation but it looks cool

>> No.9230797

>>9228911
>tfw your branch of mathematics is closer to transplantational surgery than to calculus

>> No.9230815
File: 80 KB, 718x445, 01.png [View same] [iqdb] [saucenao] [google]
9230815

hairer.org/notes/Regularity.pdf

>> No.9230819
File: 1.95 MB, 1600x1129, Metabolic_Pathways_for_plotter_landscape_quantized.png [View same] [iqdb] [saucenao] [google]
9230819

I'm a mathematician but I bow before the might and complexity of biochemical pathways.

>> No.9231005

Diagrammatic algebra. Diagrammatic algebra everywhere.

>> No.9231703
File: 18 KB, 518x368, vile physicist sorcery.png [View same] [iqdb] [saucenao] [google]
9231703

>>9228911
i just find it incredible that string diagrams and graphical calculus exist, much less actually work and be useful for stuff like QFT
what is the name of that theorem that guarantees the existence of these diagrams
this is some black magic shit

>> No.9231719
File: 302 KB, 918x1394, tracks.jpg [View same] [iqdb] [saucenao] [google]
9231719

If someone knows this, please tell me. I found a pdf about it in 2013 but at the time couldn't understand it, and I cant find anything about it now.

>> No.9231730
File: 139 KB, 1280x720, Date a Live Director's Cut - 05 (BD 1280x720 AVC AAC).mp4_snapshot_07.38_[2017.10.01_22.58.33].jpg [View same] [iqdb] [saucenao] [google]
9231730

>>9228911
可愛い

>> No.9232091
File: 16 KB, 102x155, yukari_(not cameron_diaz).png [View same] [iqdb] [saucenao] [google]
9232091

>>9231719
These 6j symbols are what's more generally referred to as fusion matrices for a conformal field theory. Let [math](\mathscr{V},\{V_i\}_i)[/math] be a simple modular category with simple objects [math]V_i[/math] and some fixed set of fusion rules, then there exists a covariant functor [math]F:\text{Rib}_\mathscr{V} \rightarrow \mathscr{V}[/math] from the ribbon category based on [math]\mathscr{V}[/math] to [math]\mathscr{V}[/math] called the operator invariant. This functor allows you to cast fusion rules in the form of ribbon graphs as well as express some results regarding the dimensions and traces of objects in [math]\mathscr{V}[/math] as knot invariants. This allows you to prove fusion relations such as the pentagon/hexagon relations, Verlinde-Seiberg formula and Vafa's theorem with braids and knots. In addition if [math]\mathscr{V}[/math] is unitary metaplectic then these fusion matrices form a [math]\mathbb{C}[/math]-vector space called the space of conformal blocks. In this case the 6j-symbols are basically instructions for fusing the simple objects of [math]\mathscr{V}[/math] as Hilbert spaces and you can consider it as relations between knots or ribbon graphs WLOG. For instance, the fusion matrix [math] F_{pq}\left[\begin{bmatrix} i & j \\ k & l\end{bmatrix}\right] [/math] can be considered as a consistency condition between fusing objects [math]i,j,k[/math] by fusing [math]i,j[/math] first into [math]p[/math] and then fusing [math]p,k[/math] into [math]l[/math] or first fusing [math]j,k[/math] into [math]q[/math] then fusing [math]i,q[/math] into [math]l[/math].

>> No.9232100

>>9230819
i want this in not shit res

>> No.9232161

>>9228911
>tfw trancended formal proofs and now pictures are the new numbers

>> No.9232467

>>9232100
https://www.cc.gatech.edu/~turk/bio_sim/articles/metabolic_pathways.png

>> No.9232498

>>9228911
This is almost like proof via interpretive dancing.

>> No.9232507

>>9227092
I've seen it so many times but I still don't know how it works.

>> No.9232509

>>9228911
Nice.

>> No.9232717

>>9232467
>https://www.cc.gatech.edu/~turk/bio_sim/articles/metabolic_pathways.png
cheers mate

>> No.9232732

>>9228911
you could also just flip the head over right

>> No.9232786

>>9232091
why are there so many theoretical physics touhouposters on /sci/

>> No.9233024
File: 306 KB, 552x510, test (8).png [View same] [iqdb] [saucenao] [google]
9233024

>>9232786
There's only one.

>> No.9233748

>>9230527
> Game theory
> Being so autistic that you need trigonometry to simulate a negotiation process