#serious-discussion

1 messages · Page 158 of 1

fresh comet
#

oh there are many

#

what are you looking for?

young quartz
#

I wanna go through Aluffi's UG text on Abstract Algebra

#

and do Real Analysis slowly alongside

fresh comet
#

I see

#

I don't know of anybody who is currently reading Aluffi (though I'm near certain there are many), but you can always ask questions about introductory algebra in #groups-rings-fields and about introductory analysis in #real-complex-analysis

young quartz
#

that I will do

#

aluffi does rings first

#

interesting

fresh comet
stone fulcrum
#

mathematics

random tendon
#

i need help

sonic sentinel
#

online "classes" due to rain today

sonic sentinel
quasi jettyBOT
sonic sentinel
#

anyway a bunch of classes we either have assignments and thats it or we just don't have them at all

#

what do i do with my time today :)

stone fulcrum
sonic sentinel
#

based idea

random tendon
#

!help

quasi jettyBOT
#

To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.

sonic sentinel
#

lol that's the command to bring up instructions on how to get help

slim drum
#

i dont able to understand why discrete mathematics needed help me please by showing wher used this stuff

solar hawk
#

Why are you reposting this in multiple channels?

fluid terrace
#

Cause he/she needs help?

solar hawk
#

!help

quasi jettyBOT
#

To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.

solar hawk
#

Actually cooked

unborn delta
solar bronze
#

Hmmm, I just realized my question of symbolic arithmetic is directly related to my claim that numbers are distinctiveness+comparability.

#

If numbers are distinctiveness+comparability, then it follows that there always exists $x = y$ , $x\neq y$, $x<y$, $x>y$ for some numbers $x, y$, but this is strictly the assumed definition, so the statement here is:
$$\forall x,y \in\text{the set of all possible numbers, } \exists x,y\text{ such that } x = y, x\neq y, x<y, x>y \leftrightarrow \text{all numbers are strictly defined by the essential notes distinctiveness+comparability}$$

fathom swallowBOT
#

Andrew Porter

solar bronze
#

I think it's getting cutoff lol

#

$\forall x,y \in\text{the set of all possible numbers, } \exists x,y\text{ such that } x = y, x\neq y, x<y, x>y \iff \text{all numbers are strictly defined by the essential notes distinctiveness+comparability}$

fathom swallowBOT
#

Andrew Porter

solar bronze
#

I hate this bot

glass peak
#

It’s not the bot it’s your horrid tex lmao, just come out of math mode to write text don’t use \text

solar bronze
#

Ok ok fair

#

Yeah but one time it literally failed to correctly write g_{n+1} as $g_{n+1}$ but instead wrote $g_n+1$

fathom swallowBOT
#

Andrew Porter
Compile Error! Click the errors reaction for more information.
(You may edit your message to recompile.)

neat lintel
#

le issue de la skill

glass peak
#

Again, the bot works fine, it works like any other Tex compiler

Garbage in garbage out

solar bronze
#

Pretty sure MathJax on stackoverflow works better. Never had these problems with it.

#

I'll figure it out one day ;-;

glass peak
#

I’ve never had any issues with the bot here, people manage to do like Tex magic with it if you look in #latex-testing so yeah I don’t think it’s the bot lol

solar bronze
#

Ok it also needs exists and not exists as that specifically pertains to distinctiveness. All the comparisons I just mentioned belong to the comparability of numbers.

solid snow
#

numbers do not need an order relation

#

or at least not a sensible one

solar bronze
solid snow
#

take the complex numbers

glass peak
#

Complex numbers aren’t ordered

solar bronze
#

Is there a sense in which ordered pairs can be compared as greater, lesser, or equal?

glass peak
#

I mean it depends what you’re talking about, and there could be many ways to do so

solid snow
#

There are many ways but they are always going to be slightly different than what you are used to for reals

glass peak
#

If you consider multinomials there’s loads of partial ordering

solid snow
glass peak
#

Look up like graded reverse lexographical ordering

#

Loads of cool ones

solar bronze
#

For sure, it is at least self evident that x + iy = x + iy; a + ib \neq c + id, so there's that.

solar bronze
#

And obviously you can compare the parts, so why would it not be possible to compare the whole?

solid snow
#

its only “evident” by definition

#

like the construction is a + bi for a real and b real

glass peak
#

There’s no consistent way to order the complex numbers, that’s a classic first problem for a complex analysis class

solar bronze
#

I think the first thing I need to understand is what is meant by "order" perhaps

#

Is it meant in the lexicographic sense?

solar bronze
#

I see

neat lintel
#

How do I mark solve in the help forum

ocean harbor
#

both work

fathom swallowBOT
#

Andrew Porter

solar bronze
#

lol this looks great in latex 😂

#

Or perhaps better in some sense of sign: $\operatorname{sign}(z) |z|$

fathom swallowBOT
#

Andrew Porter

glass peak
#

That isnt an ordering

#

and yes it gives you real numbers which are ordered but theres a full circle of points with radius |z| that would be identified with the same point

solar bronze
#

Yes

#

You see the real number line is actually a cylinder. Mathematicians have been hiding this fact from you for years.

#

Clearly the solution to ordering the complexes is to go to a restaurant and ask the waiter.

#

I suppose picking a space-filling curve doesn't make it ordered either, huh?

#

One in which points are visited only once such that there is a clear order from first to last point

glass peak
#

Theres no smart idea that would work, its proven that you cant

#

Its like division by 0, you technically can define it, but you loose so much in the process

solar bronze
#

Whoever wrote this proof forgot to write an underbar everywhere apparently.

#

In proof 1

#

Proof 1 automatically disproven

neat lintel
rocky shuttle
#

sign(z) = z / abs(z)

neat lintel
#

I hate this

tacit magnet
latent edge
rocky shuttle
long lark
#

another point to make about comparability is that comparability is an abstract property of number systems, but like all other abstract properties of number systems, you can pick and choose which ones you want or dont want

#

so really, numbers should ultimately just be anything that could be an element of a set

#

but even this definition i personally think is still pretty strict

neat lintel
#

are you advocating for proper classes of numbers?

solar bronze
#

Well, ideas, essences, and subsisting things more properly

neat lintel
#

Only specific number systems, so the term “number” is a more casual term

#

Like the real numbers are well defined, as are the integers, complex, p-adic, etc

#

But there isn’t really a rule for when something is a “number” in the most general sense

neat lintel
rocky shuttle
neat lintel
#

Do you need hug

rocky shuttle
#

No, I'm getting enough hugs

deep mango
#

I forgot i wasnt the one getting the most hugs in anv

neat lintel
zealous garden
neat lintel
zealous garden
#

What's wrong with the surreal number field @vivid halo

zealous garden
vivid halo
#

it's certainly not useful for any kind of arithmetic applications

#

I wouldn't call it a "field" either

zealous garden
#

Real shit I can't even do Geometric Calculus with it

#

Here's where I'd put my consistent definition of Surreal Integration

if I had one

deep mango
zealous garden
vivid halo
#

mostly yeah, although this is not a serious issue I guess

zealous garden
#

I honestly don't think being that useful matters for the surreals

#

Cus like, they subsume every use for the reals and hyperreals for example (except analysis)

#

And you could technically use em for real analysis

#

Philosophically, it's cool that they exist at all, and worth the time to investigate

#

Uses specific to a subject only matter if you already know some other way of doing one of the things that can be done by something else

#

To use the example we all know me for, compare GA and Quaternions

#

If you are already comfortable with Quats, there's little incentive in most applications to switch to a proper GA

neat lintel
zealous garden
#

But if you know GA, why would you ever bother with quats specifically?

neat lintel
#

Like everything involving reals has some analytic flavor

zealous garden
#

If the only argument for the method is "it came first" or "I already know it", it's not a point for the subject/idea

#

And as my concerns aren't primarily some application, but my own curiosity, this becomes a strong point for me rather than a passing grunt of acknowledgement

zealous garden
#

Making curved triangles

#

Having logarithms, and radicals without needing branch cuts

#

Actually

#

Having logarithms without needing branch cuts

unborn ivy
#

Hi, have a nice day guys.
I'm learning about real-world computer number presentation, could you suggest me some resources that have questions/problems and solutions? I'd like to strengthen my knowledge.

spice iris
#

surely someone knows how to do Accounting. anyone here do accounting pls

brazen mulch
#

you're impressive at probability, @spice iris, but you failed psychology

spice iris
#

?

vernal token
#

probability part

#

anyone here do accounting pls

#

psychology part

#

Is what DeeDee probably meant

#

Ask in an unoccupied help channel, e.g. #help-9

vivid crypt
neat lintel
#

<@&268886789983436800> Is this allowed? This is making $$$

surreal sapphire
#

no, this is also a scam

old oak
#

Who still falls for NFT scams in 2024?

scarlet lark
#

People who fall for NFT scams.

latent edge
glass peak
#

Millennials are killing the ugly ape market!!!

patent stump
#

Guys what happens if you submit a final project for a class but the final project is done incorrectly? (Graduate school)

neat lintel
#

that name LMFAO

patent stump
#

I think I may have incorrectly implemented this difficult task — I am only now recognizing it while writing the report.

glass peak
#

This surely depends on many things that only you could know

vast surge
#

I just glanced at opensea. The cheapest one is still like 12 etherium, which is about $35,000 USD.
So clearly someone is still buying these fucking things for way too much money.

vast wraith
#

hrlp i don’t have any appropriate server to fangirl over gay webtoons in

flat harbor
#

ure allowed to

#

i always was the "i think im above mass produced gay webtoons" kinda bitch

#

then last yr i had the experience of going down the subway and seeing a massive subway ad for Gay Webtoon and lost my step on the stairs

vast wraith
#

oh god i just suffered the most painful conversation

fervent pebble
#

sooo

#

tea

golden plover
#

I thought everyone is Einstein here

vast wraith
#

some economics major trying to explain how important he is, how much math he needs to do (three calculi, he says) and how money works really is just math (he asked if i knew the profit function and what greek letter it’s denoted by, noting my silence he took the opportunity to say the function is “TR - TC XD” and the letter is pi)

fervent pebble
#

jesus

vast wraith
#

“three calculi,” he explained, means three courses in calculus

#

the first of which was pre-calc, and the third was really optional

#

ok i have externalized some of my pain i’ll get back to my gay webtoon now

solar hawk
#

wait so the third "calculi" was just university calc?

#

or was it calc for business

fresh comet
#

some people choose to be insufferable I guess

solar hawk
#

im so confused

fresh comet
#

it's things like this that make me once again happy that I haven't talked to others lol

solar hawk
#

whats profit function

#

i mean

solar bronze
fathom swallowBOT
#

Andrew Porter

solar bronze
#

This should unironically be a well-ordered subset of the complexes

#

Well, an ordering of the complexes. I'm not sure if well-ordered and having ordering are the same terms here.

solid snow
#

they are not

#

and every set can be well ordered by the well ordering theorem

#

though this theorem only says that such a well ordering exists

solar bronze
#

I see, thank you.

vast wraith
#

also no it’s totally not nearing 6 am my clock must be lying

neat lintel
visual breach
#

Wdym, this is just discussy 2

neat lintel
#

No offense

fresh comet
#

this is a general discussion chat

visual breach
#

What, there is no difference in the two, other than that #discussion is more active

#

Or do you imply..

fresh comet
#

if you want math, go to one of the math channels

#

there's a lot of them

neat lintel
#

It should have a higher quality discussion than #chill in the channel desc

#

More professional and more civil

#

My good ladies and gentlemen

brazen mulch
#

enbies:

old oak
#

NFTs have pretty much evaporated from public conciousness and actual market activity, and thank heavens for that

sleek pagoda
#

I needed to prove they a volume of some unit n dimensional sphere is less then 10^-100.

I proved a formula for volume and using Desmos I found at which value the volume is less then the number.

Because the formula is decreasing it will always stay below that. My friend said this proof is bad or doesn’t work or something

#

I said it used numerical analysis and he claims it isn’t

#

Can someone settle this debate lol

old oak
#

Well, you need to trust that the value given by Desmos is correct (I'm not saying it isn't, but that might be a contentious point), and in some ways it might be preferable to actually prove that the volume of the n-dimensional unit ball has limit 0 as n goes to infinity (doing this directly from the formula you've developed)

old oak
sleek pagoda
#

My bad

sleek pagoda
#

The larger debate is, is this numerical analysis

#

I say it is

indigo dawn
#

What job can i get if i have a math degree?

sleek pagoda
#

Cs

#

Does plugging in pi*r^2 count as numerical analysis

#

As you designed an algorithm in Desmos

#

Which approximates the answer

#

My friend says other people designed Desmos

#

But I feel like that shouldn’t matter

river moon
#

if you prove that your algorithm converges to true volume of an n-dimensional ball, then that would be numerical analysis

old oak
#

As I understand it was more along the lines of deriving a formula for an n-dimensional unit ball as a function of n and plugging that function into Desmos.

#

And finding the value of n for which it was smaller than the threshold, presumably by just iterating over n, since it does go down fairly quickly

sleek pagoda
#

According to him the derivation is valid

sleek pagoda
#

And Desmos does do that

#

Idk what good means

river moon
#

well how do you know it's "good enough"

sleek pagoda
#

But he agrees it is not wrong

river moon
#

it could blow up after certain n or might not even go to 0

old oak
#

I'm not going to get into classification slapfights over what is or what isn't numerical analysis, but my preferred method would be to show analytically that the volume converges to 0

sleek pagoda
#

It goes to 0

river moon
#

you need to check all infinitely many n to be sure of that

sleek pagoda
#

But I need some weird ln justification

sleek pagoda
#

I know the function is decreasing

old oak
#

I understand they showed that the volume is a decreasing function of n

sleek pagoda
#

Yes

old oak
#

So showing empirically that it's less than 10^(-100) for some n does let you conclude that it will be also less than that for all subsequent n

sleek pagoda
#

Yeah

#

I show that ln of the formula

#

Goes below -100ln10

#

Cause Desmos can calculate that

#

The question itself doesn’t say the volume has to go to 0

#

Just that after some n the volume is less then 10^-100

sleek pagoda
old oak
#

I think so

tall nest
icy void
#

what should i major in college if ai will take over everything in next 5 years

sage mulch
#

why ask this vapid question in like 5 different channels

ripe needle
sage mulch
#

so it's a gimmick

#

?

visual breach
#

Oh. Maybe a spam

flat harbor
#

maybe random kid fishing for dopamine

#

cautionary tale

sage mulch
#

many such cases

ripe needle
#

They ask this question in every single general channel, almost daily for the last.. what 2 weeks now?

#

Sometimes they respond to answers, sometimes nothing

#

Then they dissappear until they ask again the next day or so

velvet dagger
#

Convo has moved on now so I'll just post this here @graceful flower

#

I was trying to use this to Rick roll you but I can't

velvet dagger
#

You can do the trick of repasting if you want lol

#

See the thumbnail

graceful flower
#

HOW

#

what

velvet dagger
graceful flower
#

how does this work

velvet dagger
#

How does what work?

#

The idea is you copy the link

graceful flower
#

dami...

#

you got me alright

velvet dagger
#

That wasn't a Rick roll. Maybe you still had my old link copied?

#

Try again

rocky shuttle
#

You need embed perms ig

graceful flower
velvet dagger
#

YOU GOT GOT TWICE WITH THE SAME LINK

#

@jagged forge witness the master at work

#

Is it even legal to be this good?

vast thorn
#

Sorry if this is the wrong channel, I want to learn mathematics from the basic any recommendations?

tulip jewel
#

How basic?

#

If you want basic in terms of learning level, I suggest asking your local school for old maths textbooks

#

If you mean stuff like 'pure maths'

#

There are many places to start

#

There is linear algebra

#

There is calculus

#

There is geometry

#

Geometry came first

#

If you mean the foundation of calculus, see 'analysis', but you need lots of familiarity with math proofs

#

If you want the foundation of geometry, start with a high school book, perhaps middle-secondary level geometry chapters. If you want a rigorous version, any college-level geometry textbook besides that one called 'rational trigonometry' will do. They are all rigorous at that point

#

If you want proof, without the calculus and other nonsense, see something like 'Book of proof' by hammock

#

^ Author made the book free on his website

#

linear algebra, see something like 'elementary linear algebra' for content (Or a good high school book unit', or for rigour see 'linear algebra done right', or perhaps a more intuitive book like Strang's linear algebra from MIT.

#

I see you have 'pre-uni' tabbed. Definitely start with a high-school maths textbooks, since they have a broad range of topics. If you need further info, search a book on that chapter name for more relevant book suggestions

vast thorn
frozen plover
winter moon
tulip jewel
#

Nice worth baal!

#

@vast thorn it sounds like you have a 'numeracy issue' which is a competency with arithmetic and algebra.

#

A broad range of skills are required, and quite well documented on building this up, since so many areas use it

unborn orbit
#

Hi

tulip jewel
#

I can suggest you get a book, specifically a final year school maths book from the lowest level maths you can

#

for example, in australian there are 12 school years and the lowest 'level' is 'essential mathematics'

#

students might do this course for year 11 and 12, which goes over the entirety of the school curriculum over the last few years

#

books from core maths classes like these cover most essential numacy skills

#

but they differ by country

#

If you are serious about this, see about, like I mentionedb efore, messaging a local high school for an old numeracy or core-level final-year maths textbook

#

or

#

in australia there is a website called mathsonline

#

and internationally there is khan academy

#

if you have internet

#

that second link goes through american school curriculum

#

there are videos

#

if you need access, most public libraries would provide access to that site

#

it is all free

#

most content through school teaches content with repetition to build these core numeracies. You will need to work hard

vast thorn
tulip jewel
#

Best wishes for success!

solar bronze
robust cosmos
#

You dont need to start with algebra or even pre-algebra?

royal basin
#

anyone have suggestions for what I can do to boost college app

#

I'm freshman hs

mint heath
frozen plover
latent edge
#

I'll just give this advice

#

Don't read precalc

royal basin
#

I've already done calc, and I applied for a few competitive camps (i did get in)

mint heath
misty moth
#

Im trying to study to test out of honors geometry next year and straight onto honors algebra 2, should I settle for just locking into geometry and the 12 units or push my luck and be miserable trying to test out of algebra 2 too.

vast surge
zealous garden
vast surge
#

That's not true.

#

You burn out from spending all your time constantly working on something

#

Without rest

zealous garden
#

or do you burn out from spending it working on the wrong thing

misty moth
misty moth
misty moth
zealous garden
misty moth
zealous garden
#

not really literature, he was a bassist

#

for Metallica

misty moth
#

Oh?

#

Yeah, I don't listen to stuff like that, but its cool you do ig

misty moth
zealous garden
misty moth
#

I can't understand metal fans that much, I just think the music is loud

zealous garden
#

similar breed to punk really

#

Metal takes more influence from blues, jazz, and classical though

#

so it's an abrasive, harsh sound

#

but if you pay the toll of the aesthetic (which you might even be attracted to) it then rewards the musically inclined listener

#

that's just some genres though like

#

there's such a broad range

#

it's great for channeling the adolescent angst when you're growing up and trying not to punch another hole in the wall because you're still in trouble for the last one

#

I pick up the big ol maple bass guitar that's heavy as fuck, hard as fuck

#

strings bigger than they should be, stainless steel, so that they fight back and destroy my fingertips

#

play really loud music and punch the bass guitar

#

literally punch it

#

it can take it

#

at one point when I played bass, I also often had to get my finger pricked

#

and they eventually could only use my pinkies

#

because of the calluses on every other finger

#

It's the combination of emotion, skill, and not giving a fuck what you think

neat lintel
#

well said

zealous garden
misty moth
misty moth
misty moth
zealous garden
#

and I took that to heart

#

I wanted to be in a band but I was never in one with a strong enough leader

#

I should get back into the rhythm

zealous garden
#

OH BABY ANOTHER TRIPLE PING!!

cunning plaza
#

Any suggestions on how to approach the math subject gre? I'm not sure what channel to even ask this. I've heard that going through Stewart's Calculus extra problems, and Cracking the Math Subject GRE, is a good step to take

neat lintel
cunning plaza
#

On the General GRE Math portion there is none.

digital torrent
#

im delusional, ive spent like the past 3 days trying to prove collatz conjecture. I know i wont but dang it im gonna try

#

just the joy of making my brain spin

vivid halo
zealous garden
#

Aka the best metal

vivid halo
zealous garden
#

You gotta get those numbers up champ

vivid halo
#

brain expanding metal

#

metal bands who compose everything as sheet music first and then learn to play what they wrote insteaf of just jamming

zealous garden
#

How many time signature changes are there in the first minute and a half

zealous garden
#

I've tried to do it

#

Very difficult

vivid halo
#

yeah these guys are nuts

zealous garden
#

I have a riff in I think 23/16

ripe needle
zealous garden
#

That I couldn't get down

vivid halo
#

the Warr guitarist in Behold the Arctopus is like

#

probably one of the best metal producers out there

#

every single insanely good metal album that makes you go "holy shit this was mixed perfectly"

#

you look at the recording studio and you're like "oh hey it's Colin again"

zealous garden
#

I don't like modern metal production

#

I want to return to the 80s/90s

#

That was perfect

vivid halo
#

ahhahaha what the fuck

#

Colin just chilling in the background

zealous garden
#

DEATH - "Pull the Plug - Remastered" from the album 'Leprosy - Reissue'
Purchase from Relapse: http://bit.ly/DeathLeprosy
Purchase from Bandcamp: http://deathband.bandcamp.com
Subscribe: http://bit.ly/RelapseYouTube

DEATH - 'Leprosy' Deluxe Reissues Available Now on 2XCD/Deluxe 3XCD/LP/Digital

Official links:
http://bit.ly/DeathLeprosy
https:...

▶ Play video
vivid halo
#

Death is so good

#

old Gorguts chad

zealous garden
#

Der Bass

neat lintel
#

fire music

vivid halo
#

this gorguts album is essential listening

#

how the fuck did they write this in 2012

#

fun exercise: figure out the time signature in the intro

zealous garden
#

2012?

vivid halo
#

Gorguts circa 2012 was decades ahead of this lol

#

0:25

zealous garden
vivid halo
#

"Overactive Imagination" - Death playthrough by Steve the Master Di Giorgio using the Microtubes B7Kv2.

Follow him on Instagram: https://www.instagram.com/sdglowend/

Contact your nearest Darkglass Official Seller to know more: http://darkglass.com/where-to-buy/

For more info on new creations visit: http://www.darkglass.com/creations/
SUBS...

▶ Play video
zealous garden
#

Digorgio!!!

vivid halo
#

fretless gigachad

zealous garden
#

Is that the one track I've listened to a bunch

#

Queued

vivid halo
#

this is such a great recording of this track

#

bass front and center

zealous garden
#

I like Fatal Illusion and Peace Sells by Megadeth for their intros

#

Hammer Smashed Face

#

I'm a sucker for anything with a good melodic bass run front and center even if it doesn't persist

#

The Trooper

#

For Whom the Bell Tolls

#

Maybe not quite melodic but Spirit Crusher

#

I can hear how nice his hands are

vivid halo
#

need more fretless bass metal bands

zealous garden
#

More John Myungs

#

And Les Claypools

neat lintel
#

I'm doing linear algebra homework and i have no idea why. Just solving for eigenvalues and eignvectors with no actual applications to the real world

#

catglasses When does math become useful

fresh comet
#

linear algebra is probably possibly the single most useful field of mathematics

#

that includes eigen-stuff

old oak
fresh comet
#

fair enough!

#

(I’m an LA shill, so please take anything I say about it with a grain of salt lmfao)

old oak
#

LA is great, I just want to pre-emptively push back against any kind of argument over which branches of mathematics are superior to others.

fresh comet
#

fwiw, I do agree that there is no such thing as one branch of math being “better” than another

#

but in terms of usefulness (both to the real world and to math itself), I think it’s not too much of a stretch to say that LA is very high up on the list

old oak
#

Oh yes, it absolutely is.

fresh comet
#

anyways, I am yapping too much about this, and it’s 3:30am devastation

#

good night Outsider!

old oak
#

Night!

old oak
unborn delta
lean sinew
#

do i need to know any prior analysis for Elementary Real and Complex Analysis by Georgi E. Shilov

#

i only took cal 1,2 and some linear

glass peak
#

I haven’t read that book but based on the name I’d doubt it

Typically books outline the prereqs in the introduction though, so just read that

solid snow
zealous garden
#

Multilinear Algebra is the bees knees

#

No

neat lintel
cold needle
crisp seal
#

That fact isn't really being demonstrated in the way it is taught to me

solid snow
#

IMO it's easier to have a class focusing on the theory and then jump to applications after

cold needle
#

yeah part of the process is to have some amount of trust in feel

crisp seal
#

Is this pretty much the order in which mathematical subjects were invented not corresponding to their difficulty?

pure spindle
#

I modified a riddle and am using it in an AI benchmark, but i want to make sure i am right before I say any AI models are wrong, here is the riddle: Imagine a snail in a well that's said to be 40 feet deep. Each day, the snail climbs up 5 feet, but at night, due to a strange, mystical force in the well, it slides down 4 feet. However, after reaching the 20-foot mark, the snail discovers that every foot climbed during the day magically extends the well's depth by half a foot at night, unbeknownst to it. When, if ever, will the snail escape the well?

slate badge
#

Does anybody here uses AI for studying?

glass peak
#

I can almost guarantee no one you should listen to does

#

Stuff like chatGPT isn’t bothered about being correct, and for maths, it usually isn’t

peak tide
#

use it for math and get wrong answers all the time, great study aid

old oak
#

Large Language models are frequently wrong and never in doubt, which is a terrible combination of traits for a teacher

#

they're at their most useful helping out with things you already understand and can validate

#

the less you know about a subject, the more wary you should be of using llm's for help

glass peak
#

Yeah, the important thing to remember is they’re literally just a big bowl of word soup, doing its best to throw words together that it believes are in some way related to

There’s no logic there to check what it’s saying is correct or helpful

#

I’ve heard they’re very good at writing TeX for you though, so at least they have some application

old oak
#

Well yeah, because you can compile the TeX and see if it's what you wanted it to be with your human eyeballs and brain

glass peak
#

If we could build like a add on for VS code which just passes off writing TiKz to an LLM id actually use that

#

Because no one wants to deal with writing TiKz

fresh comet
#

but when will the large language models become large Laplace models? catthink

#

(I'm thinking of Laplace's demon here lol)

slate badge
fresh comet
#

virtually nobody

fresh comet
peak tide
#

i would even trust a classmate over an LLM

slate badge
#

LLM?

peak tide
#

large language model

#

like gpt

slate badge
#

But...

#

Isn't LLM just a data base that give you a resume after it searches in multiple websites...etc?

peak tide
#

sadly it's not that smart

#

or perhaps putting it differently, it tries (but mostly fails) to be smarter than that

#

it mostly succeeds at sounding smarter than that

slate badge
#

Idk man, I'm using Gemini in Computer Science and Chemistry and it teaches me concepts well.

peak tide
#

you gotta do you

#

it's definitely not trustworthy in math, we've seen it time and time again

slate badge
#

Not to the level of a teacher but certanly summarize + comprehend 1:30h lecture in 20min.

peak tide
#

it says flat out false things

#

not every single time you try it, but i'd say 80% of the time at least

river fulcrum
#

there's a concept called hallucination for AIs

#

which literally means the false information generated by them

peak tide
#

like i just asked chatgpt 3.5 how many isomorphic copies of the 2-sylow subgroup are contained in S4. It gave me a full-page derivation using the sylow theorems and concluded that the answer is 1
(the correct answer is 3)

river fulcrum
#

It's true that LLMs are trained through the responses in multiple websites, but because of that, they may come up with ridiculuous statements while blending all those data.

hexed gazelle
#

one time i asked gpt just to give me statement of riesz rep for compact hausdorff space

peak tide
hexed gazelle
#

gave me something nonsensical and on top of that said to use riemann integral

peak tide
peak tide
#

it's trained by reading millions of websites, but as anyone knows, most websites with math content have errors...

#

i can only imagine how bad it is for computer programming

peak tide
jagged forge
#

let's see if gpt-4 can do it

peak tide
jagged forge
peak tide
#

i keep correcting it with different numbers, in the same conversation thread and it agrees with me every time

peak tide
# jagged forge

ask enough of these bots and eventually one of them gets the right answer

jagged forge
#

in my experience gpt-4 is a lot better than gpt-3.5, idk about gemini

#

i still couldn't get it to explain how to compute some probability theory stuff tho

peak tide
#

well gemini is the one that said the answer is 4, then agreed it is 3, then agreed it is 6, haha

jagged forge
#

oh. lmao

#

gemini seems cool because it has a context window of 1 million tokens

#

so you can upload books into it

peak tide
#

i am doing the lord's work here, training it so it can be more helpful for future users

peak tide
jagged forge
peak tide
#

so that supervised exams with no phones will be like 90% of the grade

#

homework negligible

slate badge
#

lol.

jagged forge
#

heh i wouldn't have minded that for some classes

peak tide
#

quite possibly no more essays to write, haha

#

what teacher is gonna want to read 40 papers written by bots

hexed gazelle
peak tide
#

one more just for fun

peak tide
slate badge
#

LMAO

peak tide
#

when pressed:

silver prawn
#

Lol

#

Sorry I was just yokin idk what I’m talking about catshrug

acoustic sparrow
# peak tide

why would you expect a language model to do math ?

jagged forge
neat lintel
#

sushi or chicken from the food court

#

5 minutes to answer

jagged forge
#

do u trust their sushi

neat lintel
#

yea

#

i've had it many times

jagged forge
#

i like sushi so i vote sushi

fresh comet
#

I vote sushi

neat lintel
#

sushi it is

jagged forge
#

aw man i had an excuse to make a poll

neat lintel
#

sushi man.

#

Sushi good.

#

Guys I had a question, is it reasonable to ask someone (more experienced in math) to read over my proofs and check if its correct? I often like to prove stuff that I see in a textbook on my own, and sometimes the proof I write doesn't exactly match with an available thing, but my arugments seem okay.

#

this happens all the time

neat lintel
glad path
#

heyy guyss , im new here , can u guys just introduce me to this server members and everything about server??? '

cinder zephyr
#

Sure I can introduce you to all 200000 members of this server

glad path
#

haha , continuee

neat lintel
cinder zephyr
#

Oh God 😭

#

(much appreciated)

#

One day I'll write a second post

neat lintel
#

the sushi is alright

#

actually

#

no this is really good

fresh comet
#

lol

neat lintel
#

ocad food court

#

try something there if you're ever in the area

#

it's like a 10 minute walk south from the exam centre. same street

serene saffron
#

[Question that does not have anything to do with the current discussion]
The tests of the competition for the entrance of the École Normale Supérieure and Polytechnique are over.
I was wondering if there were equivalently hard exams anywhere in the world?

neat lintel
#

I have a weird unrelated question. How many people here would actually like to just "talk" about the bits of mathematics they find interesting (dumbed down enough for say any ARBITRARY undegrad who is totally not me to listen to?)

vivid halo
#

people do this all the time, I yap about math I am interested in a lot here

glass peak
#

nG, sharp, Fiona and John when he’s around love to just rant about their work

#

Usually really cool, rare that I understand more than 5% of it

steep mountain
#

i find it hard to discuss math i like if i dont know the other party can somewhat follow, feels like talking to the void

#

cool story sharp, i understood the "the" in what you said

old oak
glass peak
#

I personally love hearing people that know their shit just rant about the stuff that interests them

#

Even if I can only somewhat follow it, it’s nice to just be exposed to it and sometimes you pick up random cool facts

tender tulip
vivid halo
tender tulip
#

just not fun Langlands shit

vivid halo
#

I tried to figure out endoscopy for GSp_6 earlier today and I got very confused shiver

tender tulip
#

endoscopy

#

GSp_6

vivid halo
#

GSp is not so bad to define

#

endoscopy is shiver

jagged forge
#

endoscopy sounds like an unpleasant medical procedure

vivid halo
#

lmao

#

it's also an unpleasant mathematical procedure!

vast wraith
vivid halo
#

yeah

#

the symplectic group Sp_2n preserves a symplectic form on a 2n-dimensional vector space

#

GSp_2n is the same but it preserves a symplectic form up to nonzero scalar

#

the difference between Sp_2n and GSp_2n is similar to the difference between SL_n and GL_n

#

it's a group that plays a pretty big role in the theory of Shimura varieties

vast wraith
#

i should probably not spend too much time trying to make sense of symplectic geometry before i have done any diff geo hmmcat

vivid halo
#

this isn't really so much a symplectic geometry thing but a representation theory thing

jagged forge
#

sounds like the math procedure was aptly named then

ripe needle
vivid halo
#

it's one of the major things that explains why the cohomology of Siegel threefolds is weird

ripe needle
#

Those are very definitely words bleakkekw

vivid halo
#

I mean do you know about modular forms/modular curves

#

this is some higher dimensional version of that

#

if you have a classical modular form (specifically a cusp form) you can attach to it a 2-dimensional Galois representation and this Galois representation shows up in the cohomology of modular curves

#

modular forms are holomorphic functions on the upper half plane transforming in a certain way under (a subgroup of) SL_2(Z)

#

you can replace the upper half plane by something higher dimensional and replace SL_2(Z) by a larger group and study the same story

#

for example if you have a Siegel modular form (specifically a cusp form) for Sp_4(Z) you can attach to it a 4-dimensional Galois representation

#

and generically this Galois representation shows up in the cohomology of a Siegel modular threefold, which is a generalization of modular curves

#

but for some Siegel modular forms the Galois representation you find in cohomology is smaller than you expect, like sometimes this 4-dimensional Galois representation is not irreducible, it breaks up into smaller pieces, and you only find some of those pieces in cohomology

#

endoscopy is what explains this

jagged forge
#

damn

#

anti langlands agenda is real

ripe needle
cold needle
#

im ready to talk about modular forms

#

at the level of diamond and shurman kekw

latent edge
glass peak
#

It’s hard for me to believe he isn’t already there

icy void
#

What should i major in college if ai will take over everything in next 5 years

#

Which is safest major

#

I prefer something in stem

fresh comet
#

and also not in 5 diff channels at once

neat lintel
#

Being able to grow your own food and food for others will make you an invaluable member of society

neat lintel
#

catglasses Look around and see what you enjoy

flat harbor
#

i think like

#

users here should be informed that this user has been posting nothing but that for like

#

a week

#

maybe more

neat lintel
#

I have found trig in my linear algebra course

latent edge
#

I just saw this

#

based

neat lintel
#

How do you go from $$\norm{u} ^2 + \norm{v} ^2 - 2u \cdot v$$ to the cosine rule

fathom swallowBOT
#

Book Reader

latent edge
#

what is <a,b>?

visual breach
#

The real question is, how is cosine defined thinkies

visual breach
#

Now time to relate that to dot product KEK

latent edge
#

then end up solving a classic ODE

fresh comet
#

was fun

fresh comet
small dust
#

it didn’t define sin/cos as tan?

latent edge
fresh comet
#

but, I've kind of forgotten the details

#

oof

latent edge
#

ansatz moment

vivid halo
fresh comet
#

mhm

fresh comet
#

for oscillations and SHM and such

latent edge
#

the oscillations I had an argument with my prof on removing sine and replacing x

#

mfw when they dont want elliptic integralsbleakkekw

visual breach
latent edge
#

weak

fresh comet
#

mathematically, all physics has taught me so far is that sin(x) = x for all x, dy/dx is a fraction, and every infinite series converges thumbsupanimegirl

crude drift
#

.

latent edge
#

.

fresh comet
#

.

tender tulip
#

Funny chat, there is this weird notion of death

#

Because it’s akin to like, who you are in an instant

#

You are often determined by your cognition and decisions which can’t occur in an instant

#

Like if time halted for all but you for a while, everyone else wouldn’t be “people” as you’re used to

#

Just stationary objects, a state

#

You likely can’t “perceive” an instant, only exist throughout time

#

Death is like the only true instant you can experience, if you can even “experience” it in the classical sense

tender tulip
#

But there is no restart likely at least in my belief, or what I hope is true as the opposite terrifies me

#

So it’s like, nothing ever happened? There is nothing to experience because you cease to exist. It’s like if time “stopped” forever.

#

You’d technically “be dead” by almost all definitions because there is nothing to experience, to interact with

fresh comet
#

so the same as one feels before they are born?

tender tulip
#

I suppose, but you’d expect some stimulus though unable to process it

#

and it matters not because that experience isn’t retained

fresh comet
#

I see

#

...that's a new perspective on death for me

#

hmm

tender tulip
#

It kind of started with something like Zeno’s paradox

#

The idea that the time between the “halving the distance” approaches nothing… an instant

#

But we experience reality by comparing it over time

#

We can’t process an instant

fresh comet
#

mhm

tender tulip
#

We are nothing but an object at an instant

fresh comet
#

time is a strange thing

#

though, I wonder

#

an instant isn't very well-defined, is it?

#

we can't experience one instant, nor 1 million instants, nor 10^10^10^10 instants

tender tulip
#

Not in the existential sense

#

It’s like a different measure

#

Kinda like measure theory in a way

#

We can’t experience “existences” of measure 0

fresh comet
#

huh. that actually makes a lot of sense wth

#

I guess removing countably many instances from a second removes no time at all

tender tulip
#

True death, the end, is an instant

#

We likely can’t experience it, nor nothing after

#

We can’t comprehend the end, the limit

fresh comet
#

well there would be nothing to experience

neat lintel
#

7yh6rtu5f

fresh comet
#

hey TTeppa lol

fresh comet
#

that's kind of terrifying

tender tulip
#

It’s in a way, relieving?

fresh comet
#

hm

tender tulip
#

We base our experience on, well, experiencing, but there is nothing to experience

#

It just ends, nothing more. Like a permanent pause.

#

It shouldn’t matter

#

The great nullifier.

#

The horrifying part is if you’d have to wake up and then experience your death

#

That’s what scares me

surreal bison
#

I personally like living

fresh comet
#

I think either option would scare me, though I think this one more so

surreal bison
#

So I am pro living

tender tulip
#

Ever since I was a kid my Christian upbringing made me afraid of living forever

surreal bison
#

And would be against not living

fresh comet
surreal bison
tender tulip
#

Pleasure isn’t worth the condition, it’s just a byproduct

surreal bison
#

I don't understand any of this

#

I like living

#

I don't expect to not like living unless something drastic happens

tender tulip
surreal bison
#

I mean why do you expect to stop enjoying life? At what year mark will that start setting in?

#

I am assuming you currently enjoy life. If not, I am sorry for you.

fresh comet
#

I've had it many times before

#

but not anytime recently

surreal bison
#

Also. Do note the OG Christians also seemed antideath to me. Interpreting "The last enemy that shall be defeated is death" as anything besides an antideath rallying cry is absurd to me.

tender tulip
#

It’s not that I don’t enjoy life it’s that there’s a certain draw to the idea that you don’t need to experience anything in the first place

surreal bison
#

Certainly whoever wrote that was thinking of something different.

tender tulip
#

Not something I’d act upon

#

But it’s there

surreal bison
#

I like experiencing things

#

Because on net it's good

#

I wouldn't want it to stop unless I was very unhappy

visual breach
#

Seems like xela you are living pretty happy life >.>

surreal bison
#

I was once unhappy enough that the only reason to continue living was anticipation of life getting better, but I think it's very unlikely for that to happen again in the future

surreal bison
#

This definitely used to be false.

#

I still find it a bit surprising now.

#

I'm fairly lonely

visual breach
surreal bison
visual breach
#

Hmm

surreal bison
#

oh you mean what changed?

#

Leaving highschool and transitioning.

surreal bison
#

Many people are not lonely

fresh comet
#

actually, I'm not lonely

#

but I am often alone

surreal bison
#

I seem to be lonelier than, say, my friends

visual breach
fresh comet
#

being alone is generally not the same as being lonely

surreal bison
#

Pretty clear to me that I am lonelier than most.

ripe needle
#

Loneliness is a state of mind. People with 0 friends can be not lonely, and some of the loneliest people in the world are surrounded by many.

visual breach
fresh comet
#

I don't, no

#

I have a pretty solid friend circle

visual breach
#

I see, idk why I thought it's natural to be lonely

fresh comet
#

even if we've all mostly gone our own ways for now

visual breach
fresh comet
tender tulip
#

In a way I just don’t want to experience anything, like just not exist, not have to experience knowing impending that I’m not going to exist because the anxiety of doing such, the overriding protocol built into me tortures me into compliance. I don’t know if it’s a good thing or not

fresh comet
#

it partially prevents me from talking to new people

#

on top of my social anxiety

visual breach
fresh comet
#

mhm

surreal bison
#

my sympathies

latent edge
#

I think in college

#

I'm pretty much lonely

daring parrot
#

i love u @latent edge

latent edge
fresh comet
#

that came out of the blue lol

neat lintel
#

I love u @latent edge

latent edge
fresh comet
#

that was more expected

visual breach
latent edge
#

meeku

fresh comet
#

it means meeku, of course

latent edge
#

I guess the number of simps has increased

#

Mom I'm getting popular

visual breach
latent edge
#

sudo number of simps

#

sudo number(simps)

visual breach
#

Is deltoid's secret being good at talk or ANT

fresh comet
#

both

ripe needle
vivid halo
#

tfw there is no such thing as introverts and extroverts but merely the observation that "there is a minimum level of social interaction below which people get weird, and a maximum level of social interaction above which people get weird in a different way and these levels differ between people"

tender tulip
#

I somehow manage to violently swing between both

visual breach
tender tulip
#

I will go from being a hyper extrovert to interacting with everyone to randomly panicking and going like completely dead silent for days on end

visual breach
#

So I am constantly wier.. devastation

orchid badger
#

hey everyone
ok
so one thing i want to ask you all

#

how youdecrypt any affine cipher funciton

alpine comet
#

Frequency cryptanalysis

minor current
#

why is math so hard

jagged forge
#

real

near halo
#

study more

crisp seal
#

Mathematics being hard is what makes it good

tacit magnet
lapis jungle
#

im thinking miku miku oo ee oo

neat lintel
#

That is an Group-Lie ?

#

no, this is one

mint patio
#

@surreal bison hello my ADHD friend would you have a moment to talk about the attention deficit hyperactive disorder of the brain cells

#

or any other spazzes I know

glass peak
neat lintel
#

Does anyone speak Spanish?

mint patio
#

okay

#

Why is it offensive if I have ADHD too? /gen

jagged forge
#

i wasn’t aware that the word spaz was considered derogatory

#

it seems like attitudes differ somewhat between the uk and usa

flat harbor
#

i mean in general

#

"im allowed to use offensive word towards a group cause im in it" is just cringe

glass peak
glass peak
# mint patio Why is it offensive if I have ADHD too? /gen

Without even getting into the whole mess of who can/should say it I just think it’s better to avoid saying shit like that in public space where you don’t know everyone

I wouldnt say the f slur here, and people aren’t allowed to use the n word here even if they are black ya know

#

Like I don’t personally care about the use of the word, but I think for loaded words like that it’s best to just avoid their use in public settings, but I mean you don’t have to listen to me

mint patio
#

It's just such casual language to me atp I didn't really think about it

#

I'll be more careful

#

Thank you

flat harbor
#

maybe other ppl of that group dont feel the same as u do

#

maybe ppl outside that group can still feel uncomfortable with its use

#

its a delicate thing and might be empowering to some sure

#

but its undoubtedly inflammatory so when u use it at least consider it so

mint patio
#

I understand

mint patio
flat harbor
#

i mean evidently theres a cultural divide on it as well

old oak
#

Yeah, in my opinion the slur privilege thing only really works when you're among people who also have the privilege.

#

At least that's how it works for me; I'm gay and I do employ the slurs playfully at times, but only when talking with my gay friends who I know wouldn't mind in that context.

earnest flax
#

i now realised why i feel no pressure 💀

#

as i said i learn too quick

#

the problem with that is:
When learning some topic you go from lowest difficulty to highest

#

you can't learn exponentiation without your multiplication basis

earnest flax
graceful flower
#

right, so why do you need the pressure?

earnest flax
graceful flower
#

wouldn't being bored make you want to learn though blobwg

flat harbor
#

every person who has talked to u here has told u to get real and pick up a book

#

if getting told to stop yapping by every person u talk to doesnt "pressure" u then thats just a flimsy excuse ure making up

#

get real

earnest flax
flat harbor
#

i feel like once u leave whatever echo chamber ure stuck in ull be pressured to do shit to get a job regardless

#

literally work at a subway

earnest flax
flat harbor
#

then learn smth else

#

stop bitching in public chat

earnest flax
#

i'll go learn more matrix stuff

neat lintel
#

Can I use this for 2D / 3D cameras in a game engine?

proud olive
#

You should look into splines

neat lintel
#

best way to feel pressure is to not study utill 2 days before an exam

neat lintel
proud olive
#

Yeah it's a work of art

surreal bison
#

usually in RP^3 tho

#

to allow for affine transformations and perspective

flint arrow
#

Image of a person staring at a complicated math problem with a puzzled expression.

Caption: "When you finally solve a complex equation and feel like you've unlocked the secrets of the universe, but then realize you forgot to carry the one."

old oak
#

You didn't notice that you divided both sides by an expression that's actually 0

flint arrow
#

I find this meme in internet

old oak
#

Yes, it's not a very accurate depiction of what mathematicians do and what they get wrong

alpine kindle
limber ether
#

can someone help me answer this quick permutations question

neat lintel
#

Is it possible to make a function with the outputs

#

1,1,2,2,3,3,..., n-1, n-1, n, n ?

neat lintel
fervent pebble
#

wow

#

maybe you’re just doing math wrong…

icy locust
surreal bison
surreal bison
#

or "forgot 11 minus signs"

surreal bison
jagged forge
#

@surreal bison so here are some numbers i dug up:
mathematicians: mean $120,000, but $130,000 for govt employed
actuaries: mean $130,000
statisticians: mean of $110,000

the median is similar for all three, but interestingly actuaries have a much higher p90 at $209,000 vs mathematicians at $180,000

my uneducated guess is that the mathematicians category has a lower p90 due to stricter guidelines on salary for govt employees -- supposedly it's to some extent governed by the General Schedule system, which is capped at like $190,000 only if you're grade 15 step 10 (which i think takes many years to reach if at all) and living in one of the areas that gives you a locality bonus

#

for quantitative analysts, the BLS doesn't really have a good category for this, so the best i could find was this glassdoor page (which i think is composed of self-reported salaries) which says their range for quants is like $147k-$262k, and an "estimated pay" (whatever that means) of $195k

#

so, in summary, for mathematicians, seems like the nsa doesn't pay much better than actuarial science if at all? and probably not better than quants (depends if you trust glassdoor)
also there are like, a lot more actuarial science jobs it seems

#

@jolly junco you might be interested in this too

#

that said, actually it seems like getting a job as an actuarial scientist is a higher bar to clear since you have to take a series of exams

proud comet
#

Most of the actuary exams are scheduled via coursework in university. you probably complete the first third of them in school iirc. You then get hired and take the rest on the job. That’s how I remember it working.

#

Clarifying: Via= in parallel with

#

Good applied math, actuarial sciences programs would make this very clear in their dept website.

#

“Pass exam 5 on the job and get a pay bump” kind of thinking.

#

I think I was qualified/thinking about GS14? Jobs when I got my PhD if that helps.

jolly junco
surreal bison
#

ehh after filtering for obvious trolls

jagged forge
#

but if the firm doesn't do well that year, you're out of luck...

jolly junco
jolly junco
#

Btw if you're on iphone and want an em dash you can hold down the key for the regular dash

jagged forge
#

i'm not sure if all quants necessarily have that level of responsibility though

jolly junco
jagged forge
#

yeah, i would think so

#

tbh i'm a few degrees separated from this industry, i don't have that great an idea of how it works -- i have a few family members & friends who have worked for hedge funds but not on the quant side

#

my brother is a software engineer at a hedge fund and i think he gets a bonus of like 30% -- i assure you the quants get a decent chunk more than him

surreal bison
#

i'm being serious. those and 'smart' quotes

jagged forge
#

what are smart quotes

proud comet
#

Why are there 3 types of quotes!?

jolly junco
jolly junco
jagged forge
#

ah

jagged forge
#

i like the long dashes though

jolly junco
surreal bison
#

what is wrong with you

#

i have lost all respect for you

jagged forge
#

what do you use

#

--?

sage turret
#

Cbest math

jolly junco
sage turret
#

Cbest reading

sharp coral
#

so me and my friend have conversation about Principle of Explosion and Law of Identity. I said that i can use Principle of Explosion to deny the Law of Identity making it not the most fundamental law anymore but he said even so the Law of Identity is still the absolute law by saying.

"The law of identity is more fundamental

Let's say we have the statements:

A: "It is raining."
B: "It is not raining."
If we assume both A and B to be true simultaneously, we end up with a contradiction because it cannot be both raining and not raining at the same time in the same place. According to the principle of explosion, from this contradiction, we can derive any statement. So, for instance, we could derive "The sky is green" or "2 + 2 = 5." The contradiction allows us to prove anything to be true.

And we can say the law of identity is wrong. but the problem is, for the law of identity to be wrong it will have to be equal to itself to be wrong. Meaning the law of identity being wrong would still fall under the law of identity.

Even 1≠1 would need to be equal to itself to be 1≠1.

Even the principle of explosion needs to be equal to itself to exist.

Even saying the law of identity not existing would mean its non-existence needs to be equal to itself therefore the law of identity would still exist."

I wonder what do you guy think, do you guy think it is right?

#

I really appreciate if someone can help me with this

old oak
# sharp coral so me and my friend have conversation about Principle of Explosion and Law of Id...

https://en.wikipedia.org/wiki/Law_of_identity#Modern_logic

Identity is a relation on individuals. It is not a relation between propositions, and is not concerned with the meaning of propositions, nor with equivocation.

So in particular "it's non-existence needs to be equal to itself" is not something that's covered by the law of identity as we tend to understand it in mathematical logic.

In logic, the law of identity states that each thing is identical with itself. It is the first of the historical three laws of thought, along with the law of noncontradiction, and the law of excluded middle. However, few systems of logic are built on just these laws.

sharp coral
#

can we use Paraconsitent logic to make a statement about the Law of Identity is false?