Anonymous at Wed, 20 Mar 2024 05:24:37 UTC No. 16087621

>>16087578
Do you have a better explanation for why fire trucks are red?
Yeah thought not

Anonymous at Wed, 20 Mar 2024 05:31:30 UTC No. 16087625

>>16087578
It's better than chatGPT at least. Actually that's quite close to a human joke that correctly plays off phonics, I wouldn't be surprised if it was hardcoded

Anonymous at Wed, 20 Mar 2024 08:23:33 UTC No. 16087744

>>16087621
>>16087625
ignore picrel, I meant the paper lol

Anonymous at Wed, 20 Mar 2024 08:51:23 UTC No. 16087770

>>16087578
this is like talking to the bots after the ip counter went away

Anonymous at Wed, 20 Mar 2024 09:09:07 UTC No. 16087787

>>16087578
Cringe af, epistemologically worthless, Pajeet tier quality. Philosotard feels smart for finally having a shallow grasp of deduction in propositional logic and knowing the definition of a graph - first semester undergrad things which are so implicitly trivial to any mathematician that they're usually not considered worth mentioning.

Anonymous at Wed, 20 Mar 2024 09:37:19 UTC No. 16087819

>>16087625
>>16087578
>missing the part where it says it's from Monty Python

Anonymous at Wed, 20 Mar 2024 09:39:57 UTC No. 16087821

>>16087819
Zoomer here. Who is Monty Python? Do I need to know your boomer celebs?

Anonymous at Wed, 20 Mar 2024 09:41:06 UTC No. 16087823

>>16087819
The screenshot clearly says Wolfram Alpha.

Anonymous at Wed, 20 Mar 2024 09:51:23 UTC No. 16087830

>>16087787
Yeah that's what I thought at first, don't see anything useful, just someone wanting to publish something to arxiv as a bucket list thing of something?

>>16087819
>>16087821
>>16087823
you fucks ffs I made this thread about the ARTICLE, when I started reading it I thought there was going to be some merit, like cool, a visualisation of Logic, but then I hit a wall so I went to the smartestest people I know, 4chan to see if I missed the point or that it's actually st00pid.

The image was mandatory since this is an image board. And I choose that one. I chose poorly

Anonymous at Wed, 20 Mar 2024 11:13:13 UTC No. 16087909

>>16087578
>pic
No, that’s a joke from Monty Python hard-coded in
>unrelated link
There have been a lot of attempts to frame logical calculi in different shapes and data-structures. There are linear sequents, natural deductions with those nested square things, semantic tableaux, and then of course we have real-life circuit diagrams。。。I cannot speak to the originality of your construction, I dunno. I also cannot speak to its usefulness。。。normally that would be your job! I actually am not sure I understand your construction or its diagram. Does [math]1 > 2 \Rightarrow 3[/math] mean something like: 1 thru 2 implies 3? Is it based on some notation from Frege, maybe? The displayed text under “contraction”, is that a theorem or a hypothesis? I think you are using the term ‘contractible’ in a nonstandard way. Do you just mean the graph ought to be loop-shaped? Or connected? Or have no dead ends? Have you tested other basic examples besides abelian-ness, to see if they also give a graph which contracts in the sense you‘re thinking of?

Anonymous at Wed, 20 Mar 2024 14:30:18 UTC No. 16088113

>>16087909
Finally, no the OP pic was was randomly selected. Ignore it for FUCK sake.

As for the rest, is all about the publication on arXiv I've linked. I have read through it, expecting a cool visual representation of the logical connective but I've found FUCK ALL. Gonna dismiss it

Anonymous at Wed, 20 Mar 2024 14:32:50 UTC No. 16088118

If you watch other people play videogames, I have unfortunate news for you. You're a fucking loser.

Anonymous at Wed, 20 Mar 2024 15:22:37 UTC No. 16088186

>>16088118
Totally agree, but it has nothing to do with my fucking thread. Goddamn why did I fucking ask 3chinz on this

Anonymous at Wed, 20 Mar 2024 15:24:26 UTC No. 16088187

>>16088113
yeah it is not fleshed out at all. in a normal mathematical paper, the actual meat—definitions, theorems and proofs—ought to take up most of the space. Here they seem to be just sections 2.3 and 2.4, which contain no definitions, no proofs, and I don’t think any theorem statement.

Anonymous at Wed, 20 Mar 2024 16:17:13 UTC No. 16088243

>>16088187
yeah it's trash

Anonymous at Wed, 20 Mar 2024 16:36:05 UTC No. 16088270

>>16087578
>i humbly...

This is an opinion piece written by a goober