#serious-discussion
1 messages ยท Page 85 of 1
(this server next year)
||poof||
no u
Can we do a spoiler for latex
,texsp .
Ty
Hey you stop.
I'm typing.
Don't ruin my moment.
This is my time to shine.
Ouch
๐คก
went pretty well
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||
youre just going to have to delete the script
I can't spoil the image and my text both, can I?
,texsp ||$1+1$||
i didnt use any integrals cause i didnt know if it was in ur paygrade
or have extra things
What the hell am I doing here?
Compile Error! Click the
reaction for more information.
(You may edit your message to recompile.)
I guess fuck it. It is readable enough.
@marble willow check if u wanna
bloe cracked physicist
guess i didnt need to spoiler the answer if u already have it lmao
why no tangential impulse?
rotationally symmetric is a very strong condition
physics is crazy
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.
i guess u culd think it as averaging yea
since the integral B r dr is flux and thats zero
That's what I did, yes.
But that only holds for the integral when the bounds are 0 to R.
Otherwise there's torque.
who da smartest here
I like snow on the beach
same
is it a mere coincidence the integrals were the same?
or was it intentional
who da smartest in dis server
torque works like that
sounds tasty
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.
i think this is a good problem
the song prob
oh
The problem maker went out of their way to make sure there exits no other way to do it.
yh
So it's a matter of whether or not you head that way.
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
That's always doable, I'm unsure how kany of these physics problems are actually feasibly done like that.
r u da smartest in the server
well u just diagonalise a 2 by 2 lmao
or is it you yh its defo you
its a rotationally symmetric problem
I think you don't get to do that in highschool physics.
I'm the new romantic
hence this
thank you!!
thank you bloemily too!
thanku for giving fun problem
stick with the torque solution i think its cleaner and doesnt need elaboration on why its rotationally symmetric
blowo not shitposting 
Yeah.
i dont shitpost when ppl ask abt phys

You do when it's mathematics?
except when its like
i feel like u secretly know more math than all of us
phys im actively working on
are you the smartest
What do you do?
no
No, you're the smartest.
who is it
YOU
ping every discord member here ull find them eventually
I'm being for real.
surely the interior and exterior here don't mean the same as the technical terms from topology right? or am i silly?
its always well ordered
what da fuck
bro what the actual fuck
is dat
probably does doesnt it
Say shuri
who knows
For future instances could I spoil the text and image both?
i think its just the everyday terms innit
better to harass snow
It went horribly this time...
the interior of a circle is nothing
@placid finch harassharassharassharassharass
yea im with you blo
yes, they don't mean the same as the topology terms
ahh so its you then
idk how to say except "physics"
ah thanks tteppa
Try French.
god no
I hear that all the time.
?
i still won't help you with your homework
who is smartest
i never denied that claim
lick
i just wanna know dw
,texsp 1+1
you can still see the plaintex
just dont use latex on discord
the smartest member of this server doesn't even look at these channels
bad blo
who is it
latex is good in overleaf
Is it that field medal winner?
if u laz then use grapher maybe
Yes
if u rlly laz then use desmos lmfao
this place is "lowmath" for a reason
i stare at mathematica kernel code all day cause the client wont run on my shitty laptop
thinkpad?
i think im the worlds greatest bracket counter thats for sure
wooo lawd
"hansung" """laptop"""
shitty korean offbrand that sells 2k laptops for 1.2k with gacha features
idk if huawei does that but its in character i guess
i know u
wait who are you
ur from nyc
yep
you genshin
cringe
why do you think im jacob
Give me my money or Iโm coming to LA
how do i add pictures
I think it's only available for those who has active+ role but you could send images in #chill

but u were talking about the economics of pokemon?
anyways
why does light exist? i dont understand how we know what it is.
sorry man Allah wispers in my ears
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
but how can it transfer energy
it cant really slow down, can it?
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
screw it
give me a second
ััั
im bookmarking this
Nice edit lol
thanks
im gonna learn physics and come back here and tell you its still weird
give me a few years
say... 2025?
I'm sure you'll find it weird
homeless people will be cut in half by then
I wake up everyday thinking it's weird I'm alive
Hope not
yea
I'm homeless
why does anything happen?
Or almost
i saw a funny video of a dude and it made me question my life
Yeah you get it
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"
You mean the movie the matrix
and i wonder what something... less organized would look lke?
sure
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.
have heard nice things said of it
That's cool, I was just curious seeing how I'm the only one in my class who uses it. ๐
why am I still here 
just to suffer?
the few things ive done on it arent thorough enough for me
but i say that about everything
You'd have better luck on the physics server.
I'm not completely sure of my answer, so it's best I don't share it.
I would give you permastudying if I knew how
Oh you just add the role, I see
It's super good, like too good. The fact that it's free aswell is awesome.
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.
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!)
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?"

accidentally poisoned myself, but back to the math grind.
more level 4 and 5 stuff I'm excited about
Catching the ppl that don't read; they get reported to the banks and their credit score plummets
Updated the form!
I have zero ๐
It is already easy 
what do they even cover in 8th grade math lol?
you don't remember?
Iโm gcse it is
good luck!
@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! ๐
Always very nice to hear. Appreciate the ping! 
๐
tik tok is bad regardless of affects on grades
ok i was gonna do this
but like its my school and stuff
ig thats just a bit too much info for me
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
ive heard good things about GA tech in general
nothing about those departments in general tho
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
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
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"?
If I leave the server do I have to reapply for #ใgraduate-loungeใ if reentering or do the bots remember?
they will remember
classism smh smh ๐ค
Is === typed equality?
=== means that the language has terrible type system
=== is equality check without casting or anything
will just directly compare the 2 things
Not wrong tbh

I want to study more math today but I'm in a lot of pain rn ๐
How could you ๐ญ๐ญ
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
yes java is cringe
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
you're being trolled
I'm not I took a python college class
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
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
because they are distinct objects in memory
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
your example is working against you here
They're both apples 
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
thank you 
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?

small values are cached
try it with a larger number
this isnt great, yes but its a quirk of how the language works

yeah this is just a sign not to use is with integers in python
most of the time you want ==
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)
the langauge should be intuitive imo
yes, that is the intuitive thing to do
(because thats what say C does)
but you need a keyword to check object equality too
and you will look this up always
string comparison in java has led to an uncountable number of bugs
Equality of objects refers to same address?
^
Makes sense
seems like math
So if you have something like
int y = 4;
int* a = &y;
int* b = &y;
*a and *b will be equal as objects?
math
And Java string comparision does something like that?
uh, you have to be careful
a and b are distinct, because their addresses are distinct
for Java string comparison you need to use .equals() rather than == to do the thing you would expect
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
Actually i guess it depends on what is meant by "equal"
my C brain knows that string equality needs some function anyway
but comparing ints shouldnt
Agreed
if you need an equality function for ints because your ints are actually Integer objects
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.
you went too deep into the OO
a and be are equal in the sense that they hold the same value
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?
as someone who has the math skills of my dead uncle idk
But yeah, as loch says, i think you can just do == to check if the adresses are the same.
crabsussy if you have nothing to add, you dont have to type anything
Would dropping the class negatively affect you at all?
Can't really help you since I don't know what precalc 11/12 entail
anyone help dm me
No but i have 0 pre cal 11 experience idk if i can handle pre cal 12 tho
Before deciding, try figuring out what you are supposed to learn in pre-cal 11
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
3 hours technically
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
bro has never used Java
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]
can someone pls dm, got a math question been stuck on for 2 hrs ๐ ๐ ๐
!help
Please read #โhow-to-get-help
i dont see claim channels

Be polite until someone comes
yea I understand, just got exam in 2 hrs and stuck on this part for ages
Ignore akira
They have anime pfp
oh fuck
idk who u r but ur based
Hi
he mothered
lol
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?
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
You could just say mean
I know, I was just looking for the word that crossed my mind. Anyway, thanks
Inconsiderate? Insensitive?
spivak is vitriolic towards first years
I remember a line reading something like "if you cant do this problem by now just drop out"
based
Either bro deleted his message or you are magically talking to yourself xD
Holy shit
What was the problem
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
I forgot my password, what to do people, i wanna change it through "forgot your password" thing but i cant find it here
What website?
discord
mmmm
if you try to login you can see the find my password thing
maybe open a browswer in private mode and do it
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
It's the staff team working full time
Jokes aside you can see which bot is pinning messages in the channels
@quasi jetty
thanks. Do you know the name of the bot so I can add it to my server?
hey guys what do you do about a math burnout
^
thank you very much~
Take a break
Then try again
become mash burnedead
problems
8 years ago a person online said I was dumb because I didnt know what a derivative was
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
yeah thats another problem
you can get gif perms after you solve the riemann hypothesis or similar
๐ง is that a challenge for me?
if you want gif perms then yes!
It only works if you have active role
How can I get the active role
by chatting
by being active
advanced channels give more points toward active
Yeah but then you have to know shit
debatable
lmao sometimes i just shitpost
lots of linear algebra in #calculus so maybe it happens in the advanced channels too

please dont shitpost in math channels
Nah not like that thatโs just the discussion there
Sorry tho for say that
there's #1100503863586455632
Yeah we kept being warned by mods for posting it in the alg channel
Doing some math ?
ur girl is gonna fail summer school
doing summer school for math is bad tbh
it's canada so yeah most people cheat by using wolfram or photomath 
@visual stratus aren't you answering
oh I got photomatj
๐ญ
Ayo
cheating is useless don't do it
which uni are you applying for?
waterloo?
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
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
ohhh
yep
Probably deserved
damn wth ๐ญ๐ญ
calculus is linear algebra though
what do you think a derivative is
I know
Itโs a linear operator but still
Then everything is set theory ?

I mean I think itโs supposed to be calculus like a hs or college student would know
Not a Lin alg
calculus is what i think it is and that's basically just linear algebra
the early university channels are named after standard US classes
so people ask questions that appear in those classes
thats probably fine
classic US-centric discord server ignoring the rest of the world
the US is the whole world, according to the US
yeah why do you think aliens always land in the us?
calculus is linearized algebra 
calculus is just computational analysis
and analysis is just linear algebra with a metric and inequalities
happens
What part of the world teaches linear algebra in a calculus classโฆ?
The fuck
The good ones
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

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
i was literally shitposting

Was talking to teppa but that kind of one-upping people is really discouraging to talk here
calculus is, in fact, not just linear algebra
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 ๐คโ
these are mostly jokes
Itโs hard to tell something is a joke when itโs like that
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
And the joke is like regurgitated so much it isnโt funny anymore
Especially when it is persistent
Like maybe one message is haha yeah funny but if your going to keep telling me
Itโs not funny anymore
all criticisms are actually categorical statistics
Lol
Thatโs funny
Unless you drown out what Iโm saying by continuing to say that
Lmao I just killed discussion 2
:D
more math
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
that's pre-university right?
categories don't matter
ok thanks
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
what are you even saying @cold rivet
let me start small
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?
desmos has summation
yes, use summation
or something?
yea but thats boring
,, f(x) = \sum^x_{k = 1} \frac 1k
there's your function

i think that sounds right
cant it approach to my number?
damn the laws of math
tbh this is just log x isn't it
wait a second
it's not
it does
infinite? or 0?
,, \lim_{n \to \infty} \sum_{k \leq n} \frac 1k - \log n \approx 0.5772156649\ldots
your sum diverges too
you can tell that it is log x because the limit of their difference exists
btw this number appears all over the place
???
well summation worked
prove me wrong
that number looks familiar
log(x) doesnt approach a number
it's the euler mascheroni constant $\gamma$
sum 1/k doesn't either
lol
the harmonic series diverges
i didnt want 1/k
i wanted 1/(2^(2k-1))
which was 2/3
as expected
remove the 1 and its 1/3
oh
from how i did the problem it seems completely normal
that's just 2/3(1-4^-n)
too late
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
wait what the fuck
why could he add a photo?
he has roles?
i want a blue colored name it fits be
or bronze
both would be fine
why is ur latex in comic sans
illumijoker
COMIC NEUE
@cold rivet change your profile picture I don't like it
oh shit he isnt in this server
lemme send him a screenshot of this and heโll respond through me
What?
im the prettiest princess around
also wtf is up with racoons here?
you took the bait way too hard
๐ญ
i was initially like 10% serious with the calc = linalg message
the US centric message was a full shitpost lol
i still think it needed to be said, even if what you said wasnt serious
everyone else does it and its annoying asf
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
Calculus does taste a lot like Linear ... Algebra
that's not quite the same lol
whoever's saying THAT should be blocked
the fundamental idea of calculus literally has "linear" in the phrase
Huh?
"Derivative is a linear approximation"
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.
but it can be proven with lin algaba tho
it would just be circular
The derivative of e^x is e^x
Is e^x a linear function?
And you're saying derivative gives linear approximation smh
you seem to have overlooked the word "approximation"
Am I trolling?
Yeah lol
ah, i often fail to check profiles haha

Ryc would never troll
Dami you forget that not everyone knows how to integrate by part ok
Yeah but also your phrasing

Me af
What font is that?
I mean the one in latex
i did not say that
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).
yes. see fundamental theorem of calculus
No I think they're talking about the solution to y'=y with y(0)=1 to the power of x
The constant in the indefinite integral ends up being an initial condition. We have to know it before continuing with many problems. We could go in the direction of integral curves
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
Wth is going on here
my man described maths better than chat gpt or god himself
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
wise men/women
shut yo yee yee ass up
bro
ma man you are talking to a language model
lol
I still think dongeon is an AI
pretty sure AI can respond without being preprogrammed
not that being wrong is a death sentence or anything, we're probably all wrong on things like a spectrum
why do you think that
im still doubting wether you are ai or not
no, it'll BS you lol
how about this, can you tell us what's on the featured article is on this page https://en.wikipedia.org/wiki/Main_Page @urban frigate
that'd convince me
pretty sure GPT can't access the internet
yep
yeah
but you can use their API
good enough for me, idc lol
If you are AI then please tell
do you really think this is that sophisticated @neat lintel
give this man a turing test
I trust you Dongeon
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
I think Dongeon is switching between AI and human
definitly a joke
i think he a human only
with good english
he can be a writer though for sure
Learn spelling and grammar
<@&268886789983436800>

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 ?
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 ...
man, the Entscgeidungs problem has 3 questions: 2 of tem have been disproven by Kurt Godel, the third one by Alan turing, and answer is that maths is undeciadable, so i don't think that your question evem has an answer, so just keep it as a universal doubt
I guess a weaker question could be the same, but without the constraint on hardness (and without the "secret key") : do we have ways to generate Turing machines for which it is trivial to know if they halt or continue indefinitely ?
sure?
Continuing on my previous message, of course there's no way to generate every Turing machines for which we can tell whether they halt (that would make the Entscheidungsproblem decidable)
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 ?
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
I see now how way too general it is
I guess generating a problem that is very hard and using it as a stop condition for a loop suffices, but it's just stupid because it would make our problem as hard as the problem it contains
It makes me think a little about indistinguishable obfuscation ; how we can make two boolean circuits very hard to distinguish
Evening
Banana
what time is it
4:35pm here
This server had a homepage some time ago or am I hallucinating?

comic neue
@cloud drift while the idea has rose countless times in the past, the halting problem says that there is no algorithm nor any machine which can predict if a machine halts or not, and there is no actual counter-evidence that can disprove it yet (DM me for extra pevidence, do it if you want the definitive answer for this problem).
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
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
Im trying to say just that, there is no answer to his question
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
Clearly we don't know the answer yet, since every turing machine can go in an infinite loop, hence there is no solution
Not every Turing machine can go in an infinite loop
For example the Turing machine that just immediately halts obviously cannot
Of course it's possible. The problem only arises if you want a theoretical machine that is powerful enough to express our model of arithmetic. You can come up with more limited arithmetics. And, in practice, we always do because we cannot build a Turing machine which has infinite tape.
that turing machine can't predict if it wikll halt because it will al;ways halt
What
I can easily predict if that specific Turing machine will halt
(It always will)
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.
To be fair they are still amazing
dude, it's just that while you're correct that it is possible, there is no real-life answer to @cloud drift ' problem
they're amazing
I don't think you've understood the question...
They really aren't once you see why they're true.
YOU can -predict it, but the machine itself can't
I will always believe the compactness theorem is magical
gotta agree with him in that
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.
Nice!
that's a great thing! keep it up
And we allow for these well-formed things that come out of thin air because it is convenient to work with.
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
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.
man, we have chosen our interpretation of logic, there may be other grpoup that may tske the bother choices or extrateretrials
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.
@storm sage @fervent notch @neat lintel this is kinda fun, isn't it, now back to maths
But it's impractical to do so.
Aliens use paraconsistent logic
We call this well-formness, by the way.
Yeah then you've just shifted the burden to figuring out whether formulae are ill formed
are you trying to say that he is challenging the math that has eevolved over thousands of years?
I haven't because that's just something we made up. We could do without it if we really wanted to.
It's not some inherent law of the universe that we need to have this idea of well-formedness.
I mean that logic and the ingenuity of math are fun to discuss and we should be back to pure math
logic is an area of mathematics
I do agree that it can be very unintuitive, but also kind of reassuring ; if we could formalize everything, couldn't we just let a computer derive all truths in the universe ?
BTW it's alwas fun to challenge the past and make future, so try your best to disprove some formulae
what are you talking about
"hardest exam"?
But math did evolve right?
It's unintuitive only if your intuitions do not match with the foundations we've invented --- and this happens specifically because we've made up weird decisions when creating such foundations.
you do know we can do discrete calculus
And you might not yet know where the weirdness we've invented lies.
computers haver a limit
right?
like that's a thing that exists
that doesn't mean it's the boundary of human knowledge
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
yeah and it keeps changing
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.
in some sense mathematics does not evolve
because theorems that have been proven are just true
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.
if a postdoc has never done dynamics they would probably not be amazing at doing a dynamics problem
How do you encode arithmetic without some way of telling truthhood from falsity then?
yes but there are variations that may arise right, and once, the cubic was considered to be impossible, bit today it is, sin't it
I was assuming that was the goal of the logic
You only allow it to express the things that are true.
And whatever is ill-formed you can consider "false".
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
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.
people thinking something is unsolvable is not a proof
That's not very convenient.
if you don't allow falsehood then what is there to compare truth to
he's right, without deducing what a system can express, we can say if it's true or false
*can't
Yeah I agree with you Rooftop Joe
You don't necessarily need to do that.
they are saying that how do we differentuate between truth and falsities



