#help-39
1 messages · Page 223 of 1
you have your k and you have your probability table filled out
the values of N that correspond to "less than advertised" are 48 and 49; you find the probabilities for each one, and add them
you're honestly kind of overthinking it in here
this is correct and the only thing that needs to be done
haha yeah lol its a bit of a habit
thank you very much though :D
OH!!!! i have one more question if youd be willing to help
this one is more logistic because i already solved it but i somehow got it wrong
THIS ONEE has been tripping me up
because i had the same process of what was on the answer key binomialpdf(144, 0.3, 5) but somehow different result??
at first i had 0.670, and when i double checked i got another really long power to negative 16
its probably something wrong with my calculator but you dont have to help if you dont feel like it!! ^^
oh wait nvm i did the wrong thing lol
wait
nope still lost
oh well ill open another room!! tyvm ^^
.close
Closed by @elder narwhal
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
if i have to check if the vectors are colinear
,rccw
in principle yes, but collinearity is transitive
if you know a is collinear to b and b is collinear to c, then a will also automatically be collinear to c
@daring bay Has your question been resolved?
Closed due to timeout
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
oh
okay okay
thanks
wait
let me understand
yeah ofc
and lets say we have 4 vectors
a b c d
then we do a and b, b and c, c and d
or how
each vector needs to be involved in at least one comparison
and then like
you need to go based on info you already know
idk what else to tell you there
i dont thinks thats gonna happen tho
rither way doing all of them takes like a second
then do them all lol
@daring bay Has your question been resolved?
so
i got another question
if i have to check if 2 vectors are orthogonal
perpendicular
... what's your question tho
where is the frage
= 0
if you like doing 200% more work than necessary then yes
yep
otherwise no, just find the dot product and check whether it is 0
tomorrow will be wild
server limit is 2
you see this right
the question is: For which real numbers a is x not expressible as a linear combination of the other given vectors?
we have a parameter here
this is so confusing ngl
If it's not expressible as a linear combination
that means they are all linearly independent
Für welche zahlen a ist x nicht als linearkombination der übrigen gegebenen vektoren darstellbar
a und b können eine Ebene aufspannen, und dann bilden sie eine Basis für R^2
ja
ja
und gucken für welche zahl a x ist nicht als linearkombination darstellbar ist
Wann waren zwei Vektoren linear abhängig?
wenn sie kolinear sind
Ja
das geht nur wenn a und b keine Ebene aufspannen
das wiederum heißt a und b sind linear abhängig, also Vielfache
und die Wahl ist eindeutig
mein wissen bildet sich
für a
also a ist
also 6 durch 3 ist zwei
4
a isr 4
A ist 4
digga was ein krasser trick
aber
falls ich das rechnen solte
während der klausur
wie mache ich dass dann
was
du kannst schreiben
ja also es soll ja ein k-faches vielfaches sein
dann kriegst du
ak = 2
6k = 3
k = 1/2 also a/2 = 2 also a = 4
warte mal
ok ja
mein lehrer
ja ok jawoll
ich hab mir heute freigenommen damit ich mathe behindert lernen kann
also
gleiche aufgaben stellung?
ja
mach den ansatz den ich dir gerade gezeigt habe
bei der a) wars halt echt offensichtlich, aber hier könnte es schief gehen
ja also hier geht der ansatz nt
wenn a = 1 ist dann (0,1) und (1,2) sind linear unabhängig
nh
also wie gesagt
hä
?
mach mal den ansatz den ich dir gerade gezeigt habe
überlass das raten/observieren den anderen
also a und b müssen abhängig sein
richtig
also ist a zum Beispiel ein vielfaches von b
ja
du definierst eine eigene variable k
kann ja ein 2-faches, 3-faches, pi-faches vielfach sein
das weiß du nicht
dann r
jetzt bildest du zwei gleichungen
a ist 0
ja
wenn du schon eigentlich weiß a = 0 muss sein, bist du durch
musst halt noch begründen was mit a = 0 passiert
warte
für jede andere wahl von a ist doch die 1. gleichung schon nicht erfüllt
außer r = 0 aber dann ist es eh trivial
warte
hä also
a = r * 0
a = 0
0+1 = r * 1
hahaha 😂
du hast ar = 0 für r = 0 kommt eh der nullvektor also weg mit dem fall
und für a = 0 sieh selbst
💀
scheiß mal auf b
dann ist bei der eiben gleichung 0 und bei der anderen 1
ok
achso
ok krass
also nochmal wenn etwas linear abhängig ist dann kann man eine linearkombination draus machen?
ja
nein
Für (1,1) und (2,2) wird niemals eine LK existieren für (1,2) zum Beispiel
Angenommen (0,0) und (a,b) ist ein Vektor ungleich dem Nullvektor. Dann sind die immer linear abhängig weil (a,b)k = (0,0) mit k = 0 ein Vielfaches vom Nullvektor wäre
ja
also in einer ebene heißt dass sid
sie
ich check okay
ja
aber die können doch eine linearkombination darstellen ohne dass sie in einer ebene sind oder
das geht nur noch mit einer geraden
mit {(1,1)} kannst du jeden vektor auf der geraden y = x darstellen
zum beispiel (2,2) = 2(1,1)
ja
ich glaube ich habe deine frage nicht verstanden
also das hier
ich würde es mir anders merken
also du meinst wenn zwei Vektoren keine Ebene aufspannen, oder?
ja
oder 3
also allgemein
3 Vektoren können im R^3 eine Ebene aufspannen, aber dann müssen sie abhängig sein
zum Beispiel
(1,0,0), (0,1,0) und (0,2,0)
der (0,2,0) liegt dann drinnen zum Beispiel
ist eine basis dasselbe wie ebene
achso
nein
Ich würde mir es so merken, eine Gerade braucht genau einen Vektor, eine Ebene genau zwei Vektoren und ein Raum wie der R^3 braucht genau 3 Vektoren um erzeugt zu werden
Weil dann weiß du sofort, wenns mehr sind, dann muss da lineare Abhängkeit sein
hä also
linearkombinationen sind eine kette nh
ja
ja also
x muss in dem fall eine vielfache von a und b sein nh
wieso
ne also
die aufgabe war a so zu bestimmen, sodass keine LK von x mit a und b existiert
also doch
achso
srimmt ja
das heißt das a und b linear abhängig sein müssen
aber dann bildet sich doch eine kette wenn die abhängig sind
ja
du wirst niemals nach (1,3) kommen
ja
wenn du nur entlang (0,1) gehst
ja
also ich hab nicht genau verstanden
warum a und b linear abhängig sein müssen damit x nicht eine linearkombination von a und b ist
weil egal wie du a = (0,0) und b = (0,1) skalierst und addierst
du wirst niemald zu (1,3) kommen
a und b liegen auf einer Geraden x = 0, die nicht (1,3) enthält
also hier
,rccw
😭
egal wie man
(4,6) und (2,3) skaliert
dann kommt man nie auf 0,9?
ja stimmt eigentlich oder
ja
(4,6) und (2,3) liegen auf einer geraden
y = (3/2)x
und (0,9) ist nicht ein punkt auf der geraden
der liegt auf der y-achse
ja ok ok
wenn du es malst
ok
bei R^3 empfehle ich LGS
,, r\vec{a}+s\vec{b}+t\vec{c} = \vec{x}_a
Damit keine LK existiert müssen a,b und c linear abhängig sein
sonst würden die eine Basis für den R^3 bilden
aber eine basis ist doch sozusagen keine linearkombination
mit einer Basis kann man LKs bilden
wenn du linear abhängige Vektoren hast, dann bilden die keine Basis mehr, und dann kannst du nicht immer eine LK finden
linear abhängig heißt das sie in einer ebene sind
wie sieht das aus in 3d digga
ich kann mir das nt vorstellen
alter
gerade hatten wir doch gesagt, dass hängt davon ab wie viele vektoren duhast
wenn die drei vektoren in einer ebene liegen* dann kannst du folgern dass da eine lineare abhängigkeit existieren muss
halt einfach ein Blatt papier in dein Hand
ja
das ist deine Ebene im Raum
accso
und da können Vektoren drinnen liegen
sowas
ok icc chrkc
ja ich check
ok ich mach diesen lgs kurz
also ich muss hier sozusagen
einen widerspruch finden
oder wie
hmm
hier ists am Besten das auf Zeilenstufenform zu bringen
habt ihr nicht gelernt wie man lgs löst
keine ahnung
ja aslo so wie ich es aufgeschrieben habe
doch
ihr hattet doch so themen in der kurzarbeit
wie hieß nochmal dieses eine theme
na wenn du meinst
ja wird schwierig ohne ansatz
ja ich skip die aufgabe
wnen die kommt dann improvisiere ich
aber warte
,rotate
würde nicht
die geht ohne ansatz oder
du musst einfach die umkreisenden loswerden in dem du vielfache von I und II drauf addierst
ja dann mach doch
du hast dann
ok
ich mach kurz selber
dein law
was mache ich falsch bro wtf
du hast ja jetzt
2 = r-s+t
2+a = 2r+4t
1-a = r
ja
jetzt set mal alles in I
2 = (1-a)-s+(3/4)a
hö
also hab ich es richtig
digga da kam so 7/4 dann dachte ich mir ich lass es lieber aber ok
ich mach weiter
mir ist aufgefallen du hast falsch abgeschrieben
wtf
ich hab ne frage aber allgemein zu LGS
kann man die gleichungen die man bildet
dann auch weiter benutzen
da muss eine 5 btw
unendlich
ja
ja solltest du auch
du willst ja die solange variablen loswerden wie möglich
ok bro
ich muss mir noch geraden im raum anschauen
egal ich mach die aufgabe noch
ok ich fang jz an
ok also
@rough forge bist du da
ich hab die werte raus aber ka was ich jetzt mache
ich muss mich anstrengen
IV und V, wenn du die gleichsetzt kriegst du 2-a = 2-4a also 4a = a
also existieren nur Lösungen für a = 0
das heißt es gibt keine Linearkombination, wenn a ungleich 0 ist
das sieht so aus für a = 0, der Vektor x liegt in der Ebene
und für jeden anderen Wert ist der weiße Vektor x draußen
DIGGA
ich checke ES
ICH sehe es
ich checks jz
aber
was hab ich falsch gemacht
sah bis jetzt richtig aus
die rechte Seite von IV und V ist gleich, also kannst du es gleichsetzten
und so auf a kommen
ah stimmt
also ziel ist es
nur a für sich zu lösen
sozusagen
aber das ist so freestyle
ich hätte euch einen systematischen ansatz gezeigt
weil man kann so ohne ein gespür zu haben viel falsch bzw. lost sein
meinst du mit unseren lgd
lgs
wie man lgs mit gauß algorithmus löst
und dann wie man guckt ob da lösungen existieren in abhängigkeit mit parameter
ja wir haben das nt gelernt
willst du die themen sehen
von mir aus
er sagt es kommt kein lgs 🤣
.
so räudige parameter
ja das war schon eine harte aufgabe
wenn du glück hast werden es 3NP
oha
weil alle guten dinge sind drei
diese geraden im raum hab ich mir garnicht angeschaut
ich kann mich erinnern ich hab auch so mit vektorgeometrie gestrugglet
also ich weiß wi es geht
gab keine coolen leute dir mir das erklären konnten
aber noch nt geübt
digga unterbestimmte lgs
endgegner
und schrägbilder
DIGGA IN DER KURZarbeit
gab es so eine aufgabe
holy shit bro
was soll ich sagen
du hattest eig 2 wochen (auf kurzarbeit geschissen)
😂
schulleben ist eig. geil
immer diese dummen probleme hahahaha
,rccw
ich hatte keine zeit mehr digga
er musste nur zeichnen
das mit den punkten haben wir geübt ja
er war auch so lieb und hat gesagt wie die angeordnet sind
😭
ich muss es mir halt vorstellen können nh
so ein kaputter karton
wie ein quader aussieht
selbst das mit den skizzen und zeichnen
war halt nicht weihnachten, nh
ja klar
er hat sogar
koordinatensystem für euch gemacht
bester lehrer
damals musste man das selber machen
warte
wo viel zeit verloren ging
du musst doch einfach zählen können umd die punkte einzuzeichen
und die dann verbinden
dann ergibt sich das von selbst
das war die lösung
aber kann man auch nicht die längere version haben
ja
stell dir vor pyramide kommt drsn
pyramide
so in der art
nein, ist schon eindeutig
ja stimmt
weil, wenn das so wäre
weil die punkte
dann wäre B viel weiter entlang y-achse
ja
zum beispiel eine längeneinheit auf y-achse sind 4 kasten und auf der x und z eine längeneinheit ein kasten
aber mach das nicht
ja
overthinkikg
also ich muss meine zeit strukturieren
ich mache jetzt fläche und so
dann volumen
hast ja nicht viel zeit
das ist aber bilig
ja wtf
kopfrechen teil wird mich FICKEN
ich hab vergessen wie man brüche addiert subtrahiert multipliziert
ich schau mir das alles nochmal an
egal
so wichtig das ich mir es anschaue
hä
wtf
aber im taschenrechner
ok ich check
ich check
dieses vektorprodukt
hurensohn produkt digga
@daring bay Has your question been resolved?
@rough forge was würdest du erwarten in dem kopfrechnen teil
also was glaubst du würde dran kommen
ich denke rechenaufgaben, die man im kopf lösen kann
ja
und
wenn ich zb die fläche von einem dreieck berechnen muss
Ein Dreieck ist die Hälfte eines Parallelogramm
Parallelogram war die Länge des Normalenvektors
Solche Sachen kann googlen und auf einen Merkzettel schreiben
ja aber wenn nur das dreieck gegeben ist
nvm
ich weis es
grade sag ich es noch
what did i do wrong here
A(0/0/1) B(-4/-1/-1) C(-2/6/1) D(-6/5/1) S(-3/-1/-4)
bruh
wait i did something wrong
,rotate
?
yeah so what did i do wrong here
wait can you tell me the points once again?
A(0/0/1) B(-4/-1/-1) C(-2/6/1) D(-6/5/-1) S(-3/-1/-4)
the website says 30
maybe the website's wrong?
yeah
cause your answer's right if youve copied the question right
just check it on any other website to confirm tho
,rotate
i did the b) here
Couldn't find an attached image in the last 10 messages.
i copied correctly
yeah so the answer might be wrong
also i have another question
yeah?
why what happened?
if i had to give the diagonals in a and b
he said its always A B D C
no lol
AD would be = a + b and BC would be - a + b
but how do i know this without
having
wait is this the diagram of the question you asked me??
is this llelogram the one you asked in the question??
Can someone help me on help 28
yeah
oh okay
the vectors should be connected head to head or tail to tail
so in your parallelogram, AD would be b-a
yeah?
ill help you in a while
Alright
so the opposite vectors are always pointed in the other direction
wait wait, i think you have drawn it wrong. it should be abcd but you made it abdc
yh cuz my teacher said its like this
oh lol
okay
wait ill send a pic
are the point (200,3) and (300, 4.5)?
yes
i think youve made the figure wrong
no the slope is 200/3
slope=(200-100)/(4.5-3)
yeah
It’s wrong
what's the answer?
It don’t show until I get the right answer
oh mb sorry
Don’t worry
It’s okay lol
i took y2 as 200 instead of 4.5 and y1 as 100 instead of 3
haha
@daring bay is your doubt clear??
Haha
But ur so smart
oh thank you!
I wish I could be smart like you
is the answer correct tho?
nice
yeah its same thing
The same answer
i just told you the formula, you have to use it here too
no it wont be
I think the answer is 0.015
Yeah I just realized that
haha yeah
well i am in grade 12 rn so like 12 years ig? lmao
oh cool cool
Do u think I would pass the grade I only have 3 F
yeah i guess
uhh idk cause here we dont use grading system so i dont know how that works
Oh
okay, ill send you the pic of the vector one
While adding or subtracting vectors, both arrows (heads) should be together or both ends (tails) should be together
@daring bay this might help!
ok yeah
hahaha
??
@rough forge bei geraden im raum muss ich nur die gerade haben um sie einzuzeichnen zu können oder
wenn die gerade schon da ist, musst du sie nicht mehr zeichnen
oder was meinst du
also
sowas
dann brauche ich nur die beiden vektore
um die zu zeichnen kh
nh*
okay okay okay
bro es geht
ich muss nur noch die lücken zu machen
dann hab ich es drauf
hoffentlich machst du sie mit beton und nicht zahnpasta zu+
OMG
also wenn a und b linear unabhängig sind dann ja
wenn abhängig dann nein
ja genau
@daring bay Has your question been resolved?
bro letzte frage
bevor ich schlafe
@rough forge
also BCDE ist ja klar
aber wie bekomme ich FGH
@daring bay Has your question been resolved?
Closed due to timeout
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
I was taught that for a differential equation of the form ay''+by'+cy = 0 where a and b are constants that the general solution will be y = ke^(rx) + nxe^(rx)
k and n are constants
r is the root of the polynomial am^2+bm+c=0 with multiplicity two
I'm having a bit of trouble extending this to high order differentials
I'm not sure what to do if we have a root repeated more than two times
Take a guess
@rain vessel Has your question been resolved?
no idea
@plush bramble sorry for responding so late
My best guess is that for say a polynomial with root r of multiplicity 3
y = ae^(rt)+bte^(rt)+ct^(2)e^(rt)
just because the main difference that stood out to mean between repeated roots and different roots was that extra t
I have no idea how these things are working under the hood, I only really know what to do but not why
This looks right
What is your actual question then
But also you should plug into the original DE to verify
damn, I literally purely guessed that
I think I should review the supplemental videos my teacher gave me a bit more
I literally have no clue what's going on
anyways thanks
.cloes
.close
Closed by @rain vessel
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Nothing
Oh wait
I'd substitute y = log_2(x)
I can't tell you what you did wrong since I don't know what you did though
Show
That is quite surprising
Which line in the solution confuses you first
Closed by @young dagger
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Q. If a,b,c,d are positive integers such that a = bcd, b = cda, c = dab, d = abc, then find the value of [(a+b+c+d)^4]/[(ab+bc+cd+da)^2]
multiply the 4 eqn given to you
so
abcd = (abcd)^3
as you know that a,b,c,d are positive inetgers, you can solve the value of a,b,c,d
lmao the everything is 1 moment
shh
it's pretty obvious after this step anyways
||it was obvious from the beginning tho||
no but I wouldn't spoil it if I did not already see (abcd) = (abcd)^3
cause (abcd) = (abcd)^3 is legitimately basic algebra
true
@sly void Has your question been resolved?
Closed due to timeout
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
I dont understand how he did these steps
The question was to integrate cos^2(x)
cos^2(x)
(1/2)(1 + cos(2x))
shhhhhh they probably know this already or some variation
But im confused about the steps he took in this image
He put the 1/2 in front of the integral
Is that allowed?
constants can be pulled out of the integral buddy
Well, if you write the full formula, youd get cos(2x) = 1 - 2cos^2(x)
and you rearrange the terms to get the cos^2(x)
it becomes exactly what the person wrote
you can get this from cos(2x) = cos²x - sin²x by simply substituting sin²x = 1 - cos²x
Ah I see
Alright thanks!
❤️
.close
it's just more simplification
Closed by @lucid moth
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Do I use product rule or chain rule for this question?
both
oh ive done this question
@mental magnet Has your question been resolved?
Closed due to timeout
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Just a random question but can someone recommend me a good guide video on MATLAB?
matlab onramp
not a video but
highly recommend "MATLAB : a practical introduction to programming and problem solving" by Attaway
to use as a book
also can't stress practicing problems enough
and MATLAB's Cody is super super nice to get the basics covered and practiced
Okie Ty , first time using this xD
Gotta check it out before I can do any problems lol
.close
Closed by @versed remnant
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Given an equation for a plane, and a line that goes through it, how can you check at what points the line goes through the plane?
so the line isn't include in the plane it just go through at a certain point ?
in that case you have a parametric form of your line or cartesian ?
I'll pull up the task, 2 sec
So given the parametric equation
x = 1+2t+s
y=-1+t-s
z=2+t+2s
and equation for the plane
3x-3y-3z = 0
A line l is given by the parametric equation
x = 1+t
y = 2t
z = -2-t
Find the coordinates where l crosses the plane
ok
so you know that the point has to verified l equation and plane equation
so you take the values of x,y,z in line equation
and you plug in the plane equation and solve for t
and so to get the coordinates you take the line equation back and you plug in t value
to get x,y,z
that will be your point
i see, I'll go try that
I ended up with 9 = 0.
I assume this implies that it doesn't cross?
it is
and there is a reason for it
the directionnal vector of l
is (1, 2, -1)
where the orthogonal vector of the plane is (3, -3, -3)
doing dot product gives you 0
so they're orthogonals
which means
the line is either parralel or included in the plane
to make the difference
take a point on l
let t = 0 for example
so you have that the point P_0 = (1, 0, -2) lies on l
lets check if its on the plane, if yes, it is included, else its parallel
by a rapid check with the equation of the plane we see that its clearly not in it
so they're parralel
which means no intersect
ah alright, thats pretty interesting
@torn sky Has your question been resolved?
Closed by @torn sky
Use .reopen if this was a mistake.
Send your question here to claim the channel.
Remember:
• Ask your math question in a clear, concise manner.
• Show your work, and if possible, explain where you are stuck.
• After 15 minutes, feel free to ping <@&286206848099549185>.
• Type the command .close to free the channel when you're done.
• Be polite and have a nice day!
Read #❓how-to-get-help for further information on how to ask a good question, and about conduct in the question channels.
Yo
Kinda wanna continue my previous help convo
Are we sure the halting problem function is not computable?
There seem to be conflicting sources
My understanding rn seems to be that if for some elements in the domain, a function is not computable
But for some it is computable
The function is still called computable
. close
.close
Closed by @lament knot
Use .reopen if this was a mistake.
.reopen
✅
to answer this: yes, we are
Oh really
So the set of partial recursive functions does not include the halting problem?
the sources you found that you think are conflicting are either wrong or you're misunderstanding what they're saying
yes, in the sense that e.g. no recursive function takes a turing machine and outputs 1 if the machine does halt and 0 if it doesn't
if what you mean by "the halting problem is not computable" is not equivalent to this statement then that might be part of why you're confused
in particular bringing up partial recursive functions seems kind of odd given that the halting problem is not a partial function, every turing machine either halts or doesn't
Umm
also this is the wrong way to think about it
a function isn't computable or not for some element of its domain, the whole function is either computable or not
for any particular program there is a program that solves the halting problem for that program: either the program that outputs "yes it halts" or the program that outputs "no it doesn't halt"
We define halting problem over the set of all possible {turing machine, input tape} pairs to {0,1} halts or not halts right?
yes
For some pairs it's computable, but for some pairs it's not computable
no
each pair, individually, is computable, by one of these two programs:
- "output 0"
- "output 1"
yes
So the set of partial recursive functions does not include the RE languages?
It's only the R languages ?
well the recursive functions are basically just the languages in R
partial recursive functions are something a bit more complicated
Recursive meaning total recursive?
yes
...i'm not sure if there's an easy characterisation of partial recursive functions in terms of total recursive functions/things like R and RE, actually
but the halting problem is still definitely not partial recursive given that it's not even a partial function lol
Makes sense
Did you take a look at this
yes
Turing machines that do not terminate for certain inputs, in case of halting problem would be inputs which make it loop forever
This bit makes me think it's suggesting that HP is a partial function
As it's drawing a connect between "non termination" and "undefined result for given input"
If non termination implies undefined result then the hp function is undefined for certain elements in its domain, meaning its a partial function
...no, that's completely wrong
the halting problem is a total function, it always outputs either "halts" or "doesn't halt"
Hmm
the article is very specific about what "connection" it's talking about between non-termination and not being defined and it very clearly has nothing to do with the halting problem
specifically it's saying that you can define that a partial function is computable iff there's some turing machine which, when ran on an input where the function is not defined, runs forever, and when ran on anything else, halts and outputs the value of the function at that input
I see
But such a function which lists out all {tm, input tape} pairs such that tm will halt on input tape is computable
yes, but that's not the same as computing the halting problem
in fact the sets for which you can computably list their elements like that are exactly the RE sets
Partial recursive functions are all the functions which can be computed by a Turing machine, meaning the machine halts on all inputs, so they are the decidable language membership functions right?
And partial recurisve functions given as they generalise total recursive functions are the exact same set as computable functions
no, a machine computing a partial recursive function usually won't halt on all inputs, it halts on exactly the inputs where the function is defined
This is whats bothering me
the partial recursive functions that are also total functions are the same as total recursive functions