#serious-discussion

1 messages ยท Page 85 of 1

deep dirge
#

Besides, this was a nice nerd sniping problem.

long matrix
#

(this server next year)
||poof||

deep dirge
#

Anyways, here it goes.

#

@river crypt
||A radial velocity when it leaves?||

marble willow
#

yes!

#

how'd you do it

deep dirge
#

Like bloemily said I used every statement probably.

#

@long matrix sorry for pinging

long matrix
#

no u

deep dirge
#

Can we do a spoiler for latex

long matrix
#

,texsp .

fathom swallowBOT
deep dirge
#

Ty

#

Hey you stop.

#

I'm typing.

#

Don't ruin my moment.

#

This is my time to shine.

#

Ouch

long matrix
#

๐Ÿคก

neat lintel
flat harbor
#

my answer is ||same radial vel as initial and zero tangential vel|| and the reason is ||magnetic force does zero work and because its rotationally symmetric it cant apply any tangential impulse||

long matrix
#

youre just going to have to delete the script

deep dirge
#

I can't spoil the image and my text both, can I?

long matrix
#

,texsp ||$1+1$||

fathom swallowBOT
flat harbor
#

i didnt use any integrals cause i didnt know if it was in ur paygrade

long matrix
#

or have extra things

fathom swallowBOT
#

What the hell am I doing here?
Compile Error! Click the errors reaction for more information.
(You may edit your message to recompile.)

deep dirge
#

I guess fuck it. It is readable enough.

flat harbor
mental stratus
#

bloe cracked physicist

flat harbor
#

guess i didnt need to spoiler the answer if u already have it lmao

marble willow
#

why no tangential impulse?

flat harbor
#

rotationally symmetric is a very strong condition

long matrix
#

physics is crazy

deep dirge
#

How symmetric here?

#

I don't see it to be symmetrical necessarily as long as it's inside.

#

However averaged over the entire radius.

#

Perhaps it is.

flat harbor
#

i guess u culd think it as averaging yea

#

since the integral B r dr is flux and thats zero

deep dirge
#

That's what I did, yes.

#

But that only holds for the integral when the bounds are 0 to R.

#

Otherwise there's torque.

sonic frigate
#

who da smartest here

deep dirge
#

100%

#

I'm snow fanclub.

fathom tangle
#

I like snow on the beach

sonic frigate
marble willow
#

or was it intentional

sonic frigate
#

who da smartest in dis server

flat harbor
#

torque works like that

torn orchid
deep dirge
#

I mean since we got the answer, I'd say it was pretty much framed. The problem maker surely had it mind.
For some other problem, perhaps mit wouldn't.

flat harbor
#

i think this is a good problem

sonic frigate
torn orchid
#

oh

deep dirge
#

The problem maker went out of their way to make sure there exits no other way to do it.

torn orchid
#

honestly same

sonic frigate
#

yh

deep dirge
#

So it's a matter of whether or not you head that way.

flat harbor
#

u "could" solve it by decoupling the system of diffeqs

#

but thats messy and if this was a uni entry pset then thats not how theyd intend u to solve it

deep dirge
#

That's always doable, I'm unsure how kany of these physics problems are actually feasibly done like that.

sonic frigate
flat harbor
#

well u just diagonalise a 2 by 2 lmao

sonic frigate
flat harbor
#

its a rotationally symmetric problem

deep dirge
#

I think you don't get to do that in highschool physics.

fathom tangle
#

I'm the new romantic

marble willow
#

thank you bloemily too!

flat harbor
#

thanku for giving fun problem

#

stick with the torque solution i think its cleaner and doesnt need elaboration on why its rotationally symmetric

long matrix
#

blowo not shitposting derp

deep dirge
flat harbor
#

i dont shitpost when ppl ask abt phys

long matrix
deep dirge
#

You do when it's mathematics?

flat harbor
#

except when its like

long matrix
#

i feel like u secretly know more math than all of us

flat harbor
#

phys im actively working on

deep dirge
#

What do you do?

flat harbor
deep dirge
sonic frigate
deep dirge
#

YOU

sonic frigate
#

nah fr

#

no way

flat harbor
#

ping every discord member here ull find them eventually

deep dirge
#

I'm being for real.

mental stratus
#

surely the interior and exterior here don't mean the same as the technical terms from topology right? or am i silly?

flat harbor
#

its always well ordered

sonic frigate
#

bro what the actual fuck

#

is dat

deep dirge
#

Say shuri

long matrix
#

who knows

deep dirge
#

For future instances could I spoil the text and image both?

flat harbor
long matrix
#

better to harass snow

deep dirge
#

It went horribly this time...

flat harbor
#

the interior of a circle is nothing

long matrix
#

@placid finch harassharassharassharassharass

flat harbor
#

lick

#

lick lick lick

mental stratus
#

yea im with you blo

neat lintel
long matrix
#

dont lick blowo

#

ok maybe i should read properly next time

sonic frigate
flat harbor
mental stratus
#

ah thanks tteppa

deep dirge
flat harbor
#

god no

deep dirge
#

I hear that all the time.

neat lintel
sonic frigate
#

in server

neat lintel
#

i still won't help you with your homework

sonic frigate
neat lintel
#

i never denied that claim

flat harbor
sonic frigate
long matrix
#

,texsp 1+1

fathom swallowBOT
long matrix
#

you can still see the plaintex

sonic frigate
#

2

#

les gooo

flat harbor
#

just dont use latex on discord

neat lintel
#

the smartest member of this server doesn't even look at these channels

long matrix
#

bad blo

tepid light
#

latex is good in overleaf

deep dirge
#

Is it that field medal winner?

tepid light
#

if u laz then use grapher maybe

ocean harbor
tepid light
#

if u rlly laz then use desmos lmfao

neat lintel
flat harbor
#

i stare at mathematica kernel code all day cause the client wont run on my shitty laptop

tepid light
#

thinkpad?

flat harbor
#

i think im the worlds greatest bracket counter thats for sure

tepid light
#

wooo lawd

flat harbor
tepid light
#

is it like a huawei laptop thing

#

idek

flat harbor
#

shitty korean offbrand that sells 2k laptops for 1.2k with gacha features

tepid light
#

oh ic

#

wtf

flat harbor
#

idk if huawei does that but its in character i guess

tepid light
#

thinkpads are p good

#

can be the same price range

#

or less

flat harbor
#

thinkpads too smol

#

too flimsu

tepid light
#

lol

#

lul

#

smol compootr

neat lintel
#

@quartz scaffold

#

are you jacob

quartz scaffold
#

yup

#

thats me, jacob

#

what do you need

neat lintel
#

i know u

quartz scaffold
#

wait who are you

neat lintel
#

ur from nyc

quartz scaffold
#

yep

neat lintel
#

You genshin

#

๐Ÿซฅ

#

Junior

quartz scaffold
#

you genshin

ocean harbor
#

cringe

neat lintel
#

Do your work and stop messing around

#

Discord mod

quartz scaffold
#

wait im not jacob

#

friend was on account

#

why do you think that

neat lintel
#

You mean ur brother

#

๐Ÿ˜ก

quartz scaffold
#

why do you think im jacob

neat lintel
#

Give me my money or Iโ€™m coming to LA

quartz scaffold
#

who is this

#

@neat lintel

neat lintel
#

me

#

im ur brother

quartz scaffold
#

Iโ€™m not Jacob

#

I think ur thinking of the wrong person?

neat lintel
#

mr zhen

#

who are you fooling

karmic iron
#

how do i add pictures

ocean harbor
#

I think it's only available for those who has active+ role but you could send images in #chill

cold rivet
#

but u were talking about the economics of pokemon?

#

anyways

#

why does light exist? i dont understand how we know what it is.

little vine
#

I was talking about professor oak doing ash's mom

#

But go ask God

cold rivet
#

ok

#

u got his number or something

little vine
#

Accept Jesus as your Lord and Savior

#

And he'll tell you

cold rivet
little vine
#

But not about the nature of light? Sus

#

Jesus knew about wifi and said nothing

#

As far as I know light is just energy swapping back and forth between a magnetic field and an electric field

cold rivet
#

it cant really slow down, can it?

little vine
#

It's something like the changing magnetic field begets a electric field. And a changing magnetic field begets and changing electric field

#

And somehow light can move through space by doing that

#

Take physics 102 maybe

cold rivet
#

give me a second

#

ั‹ั‹ั‹

#

im bookmarking this

little vine
#

Nice edit lol

cold rivet
#

thanks

#

im gonna learn physics and come back here and tell you its still weird

#

give me a few years

#

say... 2025?

little vine
#

I'm sure you'll find it weird

cold rivet
#

homeless people will be cut in half by then

little vine
#

I wake up everyday thinking it's weird I'm alive

little vine
cold rivet
#

yea

little vine
#

I'm homeless

cold rivet
#

why does anything happen?

little vine
#

Or almost

cold rivet
#

i saw a funny video of a dude and it made me question my life

little vine
cold rivet
#

he was saying he was a part of hte matrix

#

it was like a skit

#

and he was saying "look at this raspberry, its organized, your internal organs are so organized"

little vine
#

You mean the movie the matrix

cold rivet
#

and i wonder what something... less organized would look lke?

cold rivet
keen lance
#

Any opinions on Khan Academy? I've been using it for over a month now, and it's helped me get further than my classmates in math in just over a month.

mental stratus
#

have heard nice things said of it

ripe dirge
#

It's good

#

Pretty good

keen lance
#

That's cool, I was just curious seeing how I'm the only one in my class who uses it. ๐Ÿ˜„

storm sage
#

it's very good

#

I love it

bright hill
#

why am I still here sully

neat lintel
#

just to suffer?

cold rivet
#

but i say that about everything

sly flint
#

I'm not completely sure of my answer, so it's best I don't share it.

storm sage
#

Oh you just add the role, I see

cold rivet
#

but idc that much

molten briar
#

I don't know about about calculus though, a textbook might be better for that , they also don't have practices on linear algebra which kinda sucks.

maiden bluff
#

hi yall! for my stats-driven ib extended essay, im studying the effect of tiktok on student productivity. it would be really helpful if you could fill out this 3-4 minute survey if you have not already. Thank you! https://forms.gle/4mJJBDAnWcHnsofy5

Fyi, people who don't use TikTok is still helpful data so that I can compare it to those who do, so don't hesistate to fill out the form because of that

(I'm not sure if this is the appropriate channel but if it's not, lmk and I can post it in the right place. Thanks!)

neat lintel
#

ONLY FILL OUT THIS FORM IF YOU ARE A HIGH SCHOOL STUDENT.

#

why do you have this and then the question "what grade are you in" with the possible answers "college/beyond college?"

serene pulsar
#

accidentally poisoned myself, but back to the math grind.

#

more level 4 and 5 stuff I'm excited about

storm sage
woven whale
#

@maiden bluff I have 12 classes

#

well technically 14

maiden bluff
storm sage
#

I have zero ๐Ÿ˜Ž

ocean harbor
#

It is already easy sippy

eager stag
#

what do they even cover in 8th grade math lol?

ocean harbor
#

you don't remember?

granite stream
#

Iโ€™m gcse it is

ocean harbor
#

good luck!

serene pulsar
#

@fluid gyro hopefully you don't mind the ping, but your help was awesome. I kept practicing and now I'm confused on why it's so easy haha. I keep requesting new problems and they're all too easy and quick now. You helped a bunch! ๐Ÿ˜„

fluid gyro
serene pulsar
#

๐Ÿ˜„

cold rivet
cold rivet
#

but like its my school and stuff

#

ig thats just a bit too much info for me

worn garnet
#

Anyone know if Georiga Tech's pure math/phyics department is very strong ?

#

I recently interviewed for one of GTRI's labs and expecting another interview for a couple more of their postions

cold rivet
#

nothing about those departments in general tho

worn garnet
# cold rivet ive heard good things about GA tech in general

LIke if I got a position at GTRI don't get me wrong I would take it but i'm having a browsing around at their research departments the issue with me is that I want to do theortical computer science so when i'm looking at a place I expect a healthy balance of theoretical and applied

worn garnet
#

Like GT is one of the best when it comes to pure engineering don't get me wrong and it seems like GT has teams both full of theorists and engineers

cobalt tide
#

How do I prove a process is a random walk emphirically? I can conclude in a 1D finite length model by observing the walk either moves +-1 or jumps to a location (with respect to the center) that's roughly ~a constant. Is this enough for me to say "it's a random walk"?

rain dome
void tundra
#

they will remember

woven whale
#

lol his name

#

grothendick

neat lintel
neat lintel
#

== is not needed in python

#

PEP 69 removes ==

torn willow
#

Is === typed equality?

neat lintel
#

=== means that the language has terrible type system

solar hawk
#

:(

#

javaskip

long matrix
#

=== is equality check without casting or anything

#

will just directly compare the 2 things

storm sage
long matrix
serene pulsar
#

I want to study more math today but I'm in a lot of pain rn ๐Ÿ˜“

ocean harbor
#

damn

#

hope you feel better

solar hawk
neat lintel
#

Why is java python so cringe

solar hawk
#

๐Ÿ˜ญ

#

I like Java tho

#

I mean itโ€™s cringe but still

neat lintel
#

meant python but yeah java is also cringe

#

I'm taking a college course for it right now and OOP is so horrible to deal with

ocean harbor
#

yes java is cringe

storm sage
#

not sure what y'all are even talking about, java doesn't have ===

#

although the == equals() distinction is really annoying

#

== should really be performing equals() by default imo

storm sage
neat lintel
#

You're not supposed to use == because in python it doesn't work the way you think it should or how it works in any sane language

#

you're supposed to use the is keyword if you want an actual ==

#

java

surreal sapphire
#

uh

#

no?

#

== compares values and is if objects are the same

#

in most cases you want the former

#
>>> a = 1000
>>> b = 1000
>>> a == b
True
>>> a is b
False
neat lintel
#

Holy

#

Even more reason why python is horrible

surreal sapphire
#

?

#

this is expected behavior

neat lintel
#

a & b have the same type and same value

#

why is a not b

surreal sapphire
#

because they are distinct objects in memory

neat lintel
#

yes, but why would anyone think the is keyword is checking memory addresses

#

Like if I have two apples in front of me

#

and ask you if they are the same thing

#

why would you say no

surreal sapphire
#

your example is working against you here

neat lintel
#

They're both apples ICANT

solid snow
#

They arenโ€™t the same though

#

Theyโ€™re distinct

surreal sapphire
#

i think you are just java brained

#

the == operation acts as any sane person would expect

#

and is is just the next best keyword to check for object equality

serene pulsar
storm sage
#

I agree with Loch

#

== and is are perfectly sensible in Python

neat lintel
#
Python 3.10.9 (tags/v3.10.9:1dd9be6, Dec  6 2022, 20:01:21) [MSC v.1934 64 bit (AMD64)] on win32
Type "help", "copyright", "credits" or "license" for more information.
>>> a = 1
>>> b = 1
>>> a is b
True
>>>

What?

storm sage
#

a and b refer to the same thing in memory

#

it's caching

neat lintel
surreal sapphire
#

small values are cached

storm sage
#

try it with a larger number

surreal sapphire
#

this isnt great, yes but its a quirk of how the language works

neat lintel
storm sage
#

yeah this is just a sign not to use is with integers in python

#

most of the time you want ==

surreal sapphire
#

yeah, there is no reason to ever use it for such simple objects

#

in general just know what you are doing lol

#

i dont know what you are suggesting instead

#

== should obviously check for equality of values (and not objects)

neat lintel
#

the langauge should be intuitive imo

surreal sapphire
#

yes, that is the intuitive thing to do

storm sage
#

I feel like this is far more sensible than javascript

#

and java

surreal sapphire
#

(because thats what say C does)

#

but you need a keyword to check object equality too

#

and you will look this up always

storm sage
#

string comparison in java has led to an uncountable number of bugs

torn willow
#

Equality of objects refers to same address?

surreal sapphire
torn willow
#

Makes sense

unkempt bone
#

seems like math

torn willow
#

So if you have something like

int y = 4;
int* a = &y;
int* b = &y;

*a and *b will be equal as objects?

unkempt bone
#

math

torn willow
#

And Java string comparision does something like that?

surreal sapphire
#

uh, you have to be careful

#

a and b are distinct, because their addresses are distinct

torn willow
#

I am thinking about *a and *b

#

After dereferencing

storm sage
surreal sapphire
#

ok, then yes

#

discord formatting moment

#

in java i think == checks for addresses

#

and you need to use equals for what you actually want to do

prisma swallow
surreal sapphire
#

my C brain knows that string equality needs some function anyway

#

but comparing ints shouldnt

torn willow
#

Agreed

surreal sapphire
#

if you need an equality function for ints because your ints are actually Integer objects

prisma swallow
#

a and b are not equal in the sense that they are "different" data both allocated on the stack. Its not like this just creates one pointer to be put on the stack.

surreal sapphire
#

you went too deep into the OO

prisma swallow
#

a and be are equal in the sense that they hold the same value

neat lintel
#

Guys I need some advices. Im doing pre calculus 11 for summer school rn, i find it really challenging bc everything goes rlly fast. Meanwhile i took pre cal 12 for a long year for grade 12 after this summer. Should i drop pre cal 11 summerschool and skip to pre cal 12?

unkempt bone
prisma swallow
#

But yeah, as loch says, i think you can just do == to check if the adresses are the same.

surreal sapphire
#

crabsussy if you have nothing to add, you dont have to type anything

neat lintel
prisma swallow
#

Can't really help you since I don't know what precalc 11/12 entail

neat lintel
#

anyone help dm me

neat lintel
neat lintel
#

You're gonna have to learn the stuff if you haven't already regardless of if you take the class or not

#

If you're able to learn it on your own without the anxiety of the class that's great

#

True true

#

Yea but this summer school is just too fast like u learn today u do the test tmr. Also the teacher is shit consider its summer school

#

Ik how to solve the problems and shit but when i do the test, I just donโ€™t remember the steps.

#

I learned 6 different things today and i can barely remember some of them

#

Seems like you aren't getting enough practice

#

I learn at least 5 different things in 1 day lol

neat lintel
#

What's the last thing you were taught?

#

Uhhh

#

Something starts with a F

#

Functions?

#

Factoring?

#

Yes

#

which one?

#

Factoring

#

You didn't learn that in algebra?

#

or use it in geometry?

#

We dont gave algebra class here

#

Have

#

We have workplace, foundation, pre cal and cal

#

Thats it

#

inshallahu! Get out while you still can

#

I mean its not hard at all

#

But

#

Its hard to remember

#

Everything

#

yeah

#

Thats the problem

#

sounds like you're learning 4-5 different subjects in the summer

#

7 units

#

all in one class

#

1 unit for 3 days

#

Or a week

#

Class started last week Wednesday and we have alr done 2 tests total rn

woven whale
neat lintel
#

fooNaN

craggy gust
#

JavaScript has many "features" that will create silent errors for you

#

I think the most common that I run into is when I'm defining an array and accidentally type ,, which creates a null field in the array

#

[1,, 2] being [1, null, 2]

craggy gust
# neat lintel

Didn't even know JavaScript strings had a unary plus overload

#

what the

last flicker
#

can someone pls dm, got a math question been stuck on for 2 hrs ๐Ÿ™ ๐Ÿ™ ๐Ÿ™

last flicker
#

i dont see claim channels

ocean harbor
neat lintel
ocean harbor
last flicker
#

cheers

#

anyone have a look at help-7

neat lintel
ocean harbor
last flicker
#

yea I understand, just got exam in 2 hrs and stuck on this part for ages

neat lintel
#

They have anime pfp

ocean harbor
#

lmao

#

do you know who that is in pfp

deep mango
#

oh fuck

deep mango
ocean harbor
#

Hi

deep mango
#

he mothered

ocean harbor
#

lol

topaz swift
#

Guys, what's that word in English when you say something unkind/mean about someone, how do you characterise such a remark? I think I'm thinking of "uncharitable" (e.g. "it is uncharitable to speak of him this way"), any synonyms?

little vine
#

Uncouth?

#

Vitriolic?

#

That's more powerful

topaz swift
#

Nah, it's more about the "unkind" aspect of the remark (see the example)

#

I **think ** the word I'm thinking of is uncharitable, just wanted to see if there are any other words I'm missing

little vine
#

You could just say mean

topaz swift
#

I know, I was just looking for the word that crossed my mind. Anyway, thanks

serene pulsar
narrow cosmos
#

I remember a line reading something like "if you cant do this problem by now just drop out"

#

based

prime raven
narrow cosmos
#

I don't remember, my intro to analysis class was years ago and I don't dare to touch my spivak copy with a stick

rough glacier
#

I forgot my password, what to do people, i wanna change it through "forgot your password" thing but i cant find it here

rough glacier
#

discord

neat lintel
#

mmmm

#

if you try to login you can see the find my password thing

#

maybe open a browswer in private mode and do it

swift pier
#

curious about the bot used for the math help rooms. does anyone know what bot it is?

#

the one making the channels available or occupied

craggy gust
#

It's the staff team working full time

#

Jokes aside you can see which bot is pinning messages in the channels

#

@quasi jetty

swift pier
#

thanks. Do you know the name of the bot so I can add it to my server?

keen lance
#

hey guys what do you do about a math burnout

surreal sapphire
swift pier
#

thank you very much~

ripe dirge
rocky shuttle
#

become mash burnedead

icy onyx
#

hello smart people

#

what drives you to deal with math?

lime finch
#

problems

icy onyx
#

what kind of problem?

#

or just fun of the solving problems?

lime finch
#

so then i made it my challenge to learn what it was but as soon as I learnt it, another person online said I was dumb because I didnt know what an integral was

#

and then the pattern continued

icy onyx
#

well I guess gifs don't work

lime finch
#

yeah thats another problem

#

you can get gif perms after you solve the riemann hypothesis or similar

icy onyx
lime finch
icy onyx
#

well

#

๐Ÿ‘บ

#

hey @lime finch can you help me with that?

ocean harbor
icy onyx
#

How can I get the active role

ocean harbor
#

by chatting

solar hawk
icy onyx
#

thanks for your replies

#

appreciate it

woven whale
little vine
#

Yeah but then you have to know shit

surreal sapphire
#

debatable

solar hawk
#

lots of linear algebra in #calculus so maybe it happens in the advanced channels too

ocean harbor
surreal sapphire
#

please dont shitpost in math channels

solar hawk
#

Sorry tho for say that

little vine
#

Lol

#

There was a need for specifically algebra shit posting

woven whale
#

Yeah we kept being warned by mods for posting it in the alg channel

neat lintel
#

Doing some math ?

visual stratus
#

ur girl is gonna fail summer school

ocean harbor
#

doing summer school for math is bad tbh

#

it's canada so yeah most people cheat by using wolfram or photomath thinkies

#

@visual stratus aren't you answering

visual stratus
#

oh I got photomatj

ocean harbor
#

๐Ÿ˜ญ

true wedge
#

Ayo

ocean harbor
#

which uni are you applying for?

#

waterloo?

visual stratus
#

Iโ€™m going to college I donโ€™t think Iโ€™m taking math after grade 12

#

I wanna get into workplace math for my last hear

ocean harbor
#

I see

#

But honestly you'll find advanced functions and calculus are easier than regular functions

#

I don't know much about college in canada though

#

In calculus, they don't teach integrals but on ap calculus yes

visual stratus
#

ohhh

ocean harbor
#

yep

neat lintel
visual stratus
#

damn wth ๐Ÿ˜ญ๐Ÿ˜ญ

neat lintel
#

what do you think a derivative is

solar hawk
#

Itโ€™s a linear operator but still

#

Then everything is set theory ?

neat lintel
solar hawk
#

I mean I think itโ€™s supposed to be calculus like a hs or college student would know

#

Not a Lin alg

neat lintel
#

calculus is what i think it is and that's basically just linear algebra

surreal sapphire
#

the early university channels are named after standard US classes

#

so people ask questions that appear in those classes

#

thats probably fine

neat lintel
#

classic US-centric discord server ignoring the rest of the world

surreal sapphire
#

sad but true

#

i dont think there is a way around this

void tundra
#

the US is the whole world, according to the US

woven whale
#

yeah why do you think aliens always land in the us?

rocky shuttle
#

calculus is linearized algebra sotrue

storm sage
#

not wrong

#

calculus is just linearization

alpine kindle
#

and analysis is just linear algebra with a metric and inequalities

terse flax
#

happens

solar hawk
#

The fuck

torn willow
#

The good ones

solar hawk
#

Why donโ€™t we just tell kids 1 and 2 are just sets

#

And make them prove 1+1 is 2

#

Because thatโ€™s what they really are

surreal sapphire
solar hawk
#

I guess Iโ€™ll just do linear algebra and set theory in in the pre uni section, no?

#

Because thatโ€™s what it โ€œreally isโ€

#

Thatโ€™s so annoying when people do that

#

โ€œOh well actually this class is technically [insert stupid advanced bs] ๐Ÿค“โ€

#

Fuck letโ€™s just take all the classes outside of every curriculum letโ€™s start them off with axiomatic set theory and let them define all their shit the way it should be huh

#

Smh

solar hawk
alpine kindle
#

calculus is, in fact, not just linear algebra

solar hawk
#

Iv been here since 2020 and I only got the advanced role because every time I fcking said smthn someone would be there to be like โ€œwell technically ๐Ÿค“โ€

alpine kindle
#

these are mostly jokes

solar hawk
alpine kindle
#

if someone says "well actually <category theory>" to a simple arithmetic question it is usually not because they think it's useful but because they think it's a funny joke

solar hawk
#

And the joke is like regurgitated so much it isnโ€™t funny anymore

#

Especially when it is persistent

alpine kindle
#

this is a valid criticism

#

however

solar hawk
#

Like maybe one message is haha yeah funny but if your going to keep telling me

#

Itโ€™s not funny anymore

alpine kindle
#

all criticisms are actually categorical statistics

solar hawk
#

Lol

#

Thatโ€™s funny

#

Unless you drown out what Iโ€™m saying by continuing to say that

solar hawk
ocean harbor
#

sadge

#

@ revive chat

#

hi

mental stratus
#

hi

#

damn, julia user

ocean harbor
#

:D

serene pulsar
#

more math

zealous stone
#

Where can I ask about non-pre-university, non-competition math euclidean geometry?

#

particularly about some of the details in the proof of the Poncelet Steiner theorem

zealous stone
woven whale
#

categories don't matter

zealous stone
#

ok thanks

solar hawk
#

nvn

#

nvm

cold rivet
#

im tryna make a function

#

that is 1/(2^1)+1/(2^3) etc

#

all the odd numbers

#

and all the even numbers

#

i tried this in desmos:

#

x/(2^(2x-1)) but it didnt work

#

i want it to approach their theoretical values: 1/3 and 2/3

#

what am i doing wrong?

#

2x=y ends up calculating all even numbers

#

and 2x-1=y is all odd numbers

#

but 2^x will be too โ€œpowerfulโ€ and make it into x^-1 type graph

#

or 2^x ish idfk at this point

woven whale
#

what are you even saying @cold rivet

cold rivet
#

i want to calculate 1/2 + 1/4 +1/8

#

all the way down

#

and get an approximation

#

how would i get a graph to show that?

river moon
#

desmos has summation

cold rivet
#

i want a function to express this

#

i was thinking x/2^(2x-1)

river moon
#

yes, use summation

cold rivet
#

or something?

river moon
cold rivet
woven whale
#

,, f(x) = \sum^x_{k = 1} \frac 1k

fathom swallowBOT
woven whale
#

there's your function

cold rivet
#

x=y are cooler

#

summation isnt cool

woven whale
river moon
#

then you're onto computing n-th partial sum

#

of that sequence

cold rivet
woven whale
#

read this

#

it shows that you cannot express that sum as a rational function

river moon
#

the problem is that the partial sum of a harmonic series is a harmonic number

cold rivet
#

damn the laws of math

burnt ledge
#

tbh this is just log x isn't it

cold rivet
woven whale
#

it's not

cold rivet
#

it isnt yea

#

that doesnt a approach a value

woven whale
#

it does

cold rivet
woven whale
#

,, \lim_{n \to \infty} \sum_{k \leq n} \frac 1k - \log n \approx 0.5772156649\ldots

fathom swallowBOT
woven whale
#

your sum diverges too

burnt ledge
woven whale
cold rivet
#

well summation worked

burnt ledge
cold rivet
cold rivet
woven whale
#

it's the euler mascheroni constant $\gamma$

fathom swallowBOT
woven whale
#

lol

#

the harmonic series diverges

cold rivet
#

i wanted 1/(2^(2k-1))

#

which was 2/3

#

as expected

#

remove the 1 and its 1/3

woven whale
#

oh

cold rivet
#

from how i did the problem it seems completely normal

woven whale
#

that's just 2/3(1-4^-n)

cold rivet
#

but also

#

why is it that when i remove the 1 it goes down 1/3

#

its so weird if i saw that without context

#

wait wouldnt i be able to do this with a 3d graph?

#

probably not

#

id add a photo but i cant

cold rivet
#

why could he add a photo?

#

he has roles?

#

i want a blue colored name it fits be

#

or bronze

#

both would be fine

river moon
cold rivet
#

ok

#

i cant talk in there

#

wtf do i do?

#

ima just dm a mod

ripe wasp
long matrix
#

illumijoker

woven whale
little vine
#

@cold rivet change your profile picture I don't like it

cold rivet
#

lemme send him a screenshot of this and heโ€™ll respond through me

little vine
#

What?

cold rivet
#

also wtf is up with racoons here?

solar hawk
neat lintel
#

i was initially like 10% serious with the calc = linalg message

#

the US centric message was a full shitpost lol

solar hawk
#

everyone else does it and its annoying asf

neat lintel
#

multivariable calculus is where linear algebra is needed for a full treatment

#

single variable? it's not necessary

#

derivative is just linear map is just scalar

zealous garden
#

Calculus does taste a lot like Linear ... Algebra

neat lintel
#

whoever's saying THAT should be blocked

#

the fundamental idea of calculus literally has "linear" in the phrase

velvet dagger
#

"Derivative is a linear approximation"

eager trout
#

Ok but the derivative fo e^x isn't linear though

#

Checkmate

serene pulsar
#

today has been a fun day for math studies. Some of these things I have to spend more time on. Most of level 3 and 4/5 up to this point has been easy to learn quick, but earlier I had to watch a couple videos to learn the topic.

#

But the max level is only level 6 so I feel like if I keep at this pace or quicker I can learn everything I need to.

solar hawk
#

it would just be circular

eager trout
#

The derivative of e^x is e^x

#

Is e^x a linear function?

#

And you're saying derivative gives linear approximation smh

peak tide
eager trout
#

Well the approximation is the same in this case

#

Still not linear sotrue

velvet dagger
#

I think he's trolling lmfao

#

Using the term "checkmate" and given his math level

eager trout
#

Am I trolling?

velvet dagger
#

Yeah lol

peak tide
eager trout
little vine
#

Ryc would never troll

eager trout
#

Dami you forget that not everyone knows how to integrate by part ok

velvet dagger
#

Yeah but also your phrasing

eager trout
little vine
echo tundra
#

I mean the one in latex

solar hawk
opaque vigil
#

Ok, is there a way to define an indefinite integral instead of just saying the vague statement "anti derivative".
I know the integral is some function f(x), so that when applied to g'(x) or saying f(g'(x)), it results in g(x), and vice versa g'(f(x)). But then that just depends on the derivative of g(x).

hexed gazelle
sharp cave
#

No I think they're talking about the solution to y'=y with y(0)=1 to the power of x

neat lintel
eager trout
#

No

#

Iโ€™m using e to stand for einsteins number

pliant prairie
#

what is 1+1

#

2-2

#

0 raise to 0

#

1/rt -1

#

probably

#

yep

#

why do we take pie as 22/7 but not value of pie/no. of decimals

#

3.1415926535 8979323846 2643383279 5028841971 6939937510 5820974944 5923078164 0628620899 8628034825 3421170679 / 10raise to 10

#

oh

#

but how did they?

#

can it be recreated?

#

i mean the proof

#

oh

#

i have one more ques

#

oh

#

thats cool

#

ok

#

can we find all twin prime conjecture using nasa supercomputers?

#

yep

#

prime number make a spiral

#

Ulam's spiral

#

there is a pattern for sure

#

yep

#

oh

#

well im in 10th grade so i dont know much about this stuff

#

oh

#

so its just a theory

#

its interesting af though

#

now thats awsome

#

maths is like a habit?

#

a good one

#

you can certainly be a writer

#

words of a true hero

solid snow
#

Wth is going on here

pliant prairie
#

my man described maths better than chat gpt or god himself

static loom
#

depends on what you mean by this, math isn't a spectator sport, you need to fight it to some degree

#

nah

#

I don't buy pure argment to authority but

#

I agree to the extent that you probably are in the wrong and shouldn't be too combative if you don't agree/understand with what they're saying

#

I think we're neary on the same page about it

pliant prairie
#

wise men/women

neat lintel
#

shut yo yee yee ass up

pliant prairie
#

bro

neat lintel
#

this is a bot

#

damn trolls got their hands on AI

static loom
#

well I don't agree with this lol

#

there are definitely wrong people lol

neat lintel
static loom
pliant prairie
#

wait. Dongeon you are ai?

#

ohk

neat lintel
#

I still think dongeon is an AI

#

pretty sure AI can respond without being preprogrammed

static loom
#

not that being wrong is a death sentence or anything, we're probably all wrong on things like a spectrum

static loom
pliant prairie
#

im still doubting wether you are ai or not

static loom
#

no, it'll BS you lol

neat lintel
#

So basically you?

#

damn horny AI

pliant prairie
#

umm

#

Bro now u sound like AI

static loom
#

that'd convince me

#

pretty sure GPT can't access the internet

pliant prairie
#

yep

static loom
#

yeah

neat lintel
static loom
#

good enough for me, idc lol

pliant prairie
#

If you are AI then please tell

static loom
#

do you really think this is that sophisticated @neat lintel

neat lintel
pliant prairie
#

I trust you Dongeon

static loom
#

just seems paranoid to me, besides there are other people here participating so it's not important either way

#

at this point you're the worse troll @neat lintel lol

neat lintel
#

ya'll telling me

#

a human is writing all of this?

pliant prairie
#

either Hotaro is the best troll or Dongeon is AI

#

umm

neat lintel
#

I think Dongeon is switching between AI and human

pliant prairie
#

definitly a joke

#

i think he a human only

#

with good english

#

he can be a writer though for sure

neat lintel
#

Learn spelling and grammar

pliant prairie
#

bro ...

#

teach me

neat lintel
#

<@&268886789983436800>

pliant prairie
#

never have i ever got this much motivation๐Ÿฅฒ

#

wait...did they ban him?

green crane
#

bro

#

hi

long matrix
cloud drift
#

Is it possible to create trapdoors for undecidable problems?

Example:
The answer to the Entscheidungsproblem shows that there is no universal algorithm that can determine whether a Turing machine with a certain input will halt at some point (or continue indefinitely) without actually running the machine. However, there are machines for which it is trivial to prove that they will never halt (for example, an infinite loop without an exit condition), and others for which it is trivial to prove that they will halt at some point (for example, a machine with the sole instruction to halt).

For this particular problem, the question is:
Is it possible to generate a set of Turing machines based on a secret in such a way that it is easy to determine whether each machine halts or not, but difficult to determine whether each machine halts or not without running them - and without the key?

#

To be clear, I'm not talking about solving the Entscheidungsproblem, but about whether it is possible to generate some machines for which it is easy to know whether they halt, only if we know how they've been generated

#

Should I ask this somewhere else ?

surreal sapphire
#

this could be asked in #math-discussion but your question is very open, its hard to say anything useful

#

i dont know what exactly you mean by dependence on a secret, if you dont have a concrete idea

#

we dont even know if trapdoor functions exist, so ...

low spruce
cloud drift
surreal sapphire
#

sure?

cloud drift
cloud drift
# surreal sapphire sure?

Which ones ?

And to go further, are there some machines for which it is harder to answer, but we still can without running them ? The answer is surely yes. And is there a way to tell if a machine eventually halts or not without running it, that can be made easier by knowing how it was generated ?

surreal sapphire
#

i can come up with infinitely many turing machines where it is very easy to tell

#

and you can just build a complement of one that halts and make it enter an infinite loop

#

they are as simple as what you already mentioned

#

so you will need more restrictions to get anything useful

#

there are multiple ways to test whether a turing machine halts

#

programmers do this all the time when they consider correctness of their algorithms

#

say for example loop invariants

#

or if you know that a turing machine only uses finite memory, it becomes a finite problem

#

this problem is way, way too general to say anything useful

cloud drift
#

It makes me think a little about indistinguishable obfuscation ; how we can make two boolean circuits very hard to distinguish

ocean harbor
#

morning

ripe dirge
#

Evening

solid yarrow
#

Banana

ocean harbor
ripe dirge
#

4:35pm here

ocean harbor
#

oooh

#

7:06am for me

echo tundra
#

This server had a homepage some time ago or am I hallucinating?

burnt ledge
surreal sapphire
echo tundra
woven whale
low spruce
#

And it doesn't matter whether the machine is running or not

#

Oh, and while a turing machine can halt, the fundamental problem is that this machine is an 'ABSTRACT CONCEPT' so don't overthink it

#

There is no real-life algorithm or machine that can predict if a machine halts or not

#

In fact, we aren't even sure if we are real, so perhaps our life is abstract too, so thinking about abstractness can make a person mad because we ourselves always have the doubt if we're even there

storm sage
#

This seems irrelevant to the original question

#

There can't be a counterexample to the halting theorem because it's true

#

And the proof shows why any possible counterexample leads to a contradiction

low spruce
storm sage
#

Their question is not whether there is a way to tell whether an arbitrary turing machine halts

#

Their question was if there is a useful class of turing machines for which it is possible to tell

#

Hello

low spruce
storm sage
#

Not every Turing machine can go in an infinite loop

#

For example the Turing machine that just immediately halts obviously cannot

fervent notch
low spruce
storm sage
#

What

#

I can easily predict if that specific Turing machine will halt

#

(It always will)

fervent notch
#

All of these "amazing" rezults such as those by Godel or Turing aren't that counterintuitive or magical once you see the smoke and mirrors. They typically have some things we've stipulated that we want to hang onto.

storm sage
#

To be fair they are still amazing

low spruce
# storm sage What

dude, it's just that while you're correct that it is possible, there is no real-life answer to @cloud drift ' problem

storm sage
#

I don't think you've understood the question...

fervent notch
#

They really aren't once you see why they're true.

low spruce
storm sage
#

I will always believe the compactness theorem is magical

low spruce
fervent notch
#

For example, consider Godel's incompleteness theorems. They only works because we have this idea of well-formned theorems and those have nothing to do with axioms or deduction rules.

#

So it's not a huge surprise that you can't reach some formulae based on those, thus making the system incomplete.

storm sage
#

Nice!

low spruce
#

that's a great thing! keep it up

fervent notch
#

And we allow for these well-formed things that come out of thin air because it is convenient to work with.

storm sage
#

I feel like it is a fairly big surprise that there is no computable, consistent, and complete axiomatization of arithmetic

#

Hilbert certainly didn't expect that

fervent notch
#

He didn't. But we understand logic better now than we did in Hilbert's days and we know that we've made certain choices when we built up logic the way we did. It's really on us.

#

It's only unintuitive until you realize that we've created a weird foundation to math (for practical concerns -- easier to work with).

#

It's not about that. It's about what we mean by formal languages in general and the philosophical implications of that.

low spruce
fervent notch
#

So one thing formal languages typically have is an extra set of rules of what "looks like a valid formula" to us humans. So 1+3=6 looks valid for us based on syntax alone so we call that well-formed. If you were to say "hey, that's just invalid and I will only allow my language to express truth then... math is suddenly complete.

low spruce
#

@storm sage @fervent notch @neat lintel this is kinda fun, isn't it, now back to maths

fervent notch
#

But it's impractical to do so.

storm sage
#

Aliens use paraconsistent logic

fervent notch
#

We call this well-formness, by the way.

storm sage
#

Yeah then you've just shifted the burden to figuring out whether formulae are ill formed

low spruce
fervent notch
#

It's not some inherent law of the universe that we need to have this idea of well-formedness.

low spruce
#

I mean that logic and the ingenuity of math are fun to discuss and we should be back to pure math

alpine kindle
#

logic is an area of mathematics

cloud drift
low spruce
alpine kindle
#

what are you talking about
"hardest exam"?

low spruce
#

But math did evolve right?

fervent notch
alpine kindle
#

you do know we can do discrete calculus

fervent notch
#

And you might not yet know where the weirdness we've invented lies.

alpine kindle
#

right?

#

like that's a thing that exists

#

that doesn't mean it's the boundary of human knowledge

low spruce
#

yes, and even though math can be rigid, in the recent yrars, we ca do our own math siunce math has decome much more independent

alpine kindle
#

yeah and it keeps changing

fervent notch
#

For example, if we say "I don't care about math expressing falsehood---I don't need the language to be able to express anything like that. I just want it to tell me everything that is true and that's all the language can do" then you don't need well-formedness. But we don't do that cause it's convenient to express false things like potentially wrong hypotheses. So that leads us to constructions that are weird.

alpine kindle
fervent notch
#

Then math is complete and can even express all of arithmetic and all of our theories. But it's very difficult to use.

#

Can't do a proof by contradiction, for example.

#

We find that useful, so we accept "paradoxical" results.

alpine kindle
#

if a postdoc has never done dynamics they would probably not be amazing at doing a dynamics problem

storm sage
low spruce
storm sage
#

I was assuming that was the goal of the logic

fervent notch
#

You only allow it to express the things that are true.

#

And whatever is ill-formed you can consider "false".

storm sage
#

Right I'm just agreeing with you that it's impractical, for the reason that this doesn't help you deduce what the system can express in the first place

fervent notch
#

But if you don't allow yourself to write falsehood, it's computationally expensive to prove some things. You'd have to brute force your axiomatic system up to formulae of a different length to find out whether they are indeed true or not.

alpine kindle
fervent notch
#

That's not very convenient.

alpine kindle
low spruce
#

*can't

storm sage
#

Yeah I agree with you Rooftop Joe

fervent notch
low spruce