#serious-discussion
1 messages · Page 44 of 1
it's mandatory to take English all the years and another European language for 3 years (Spanish/German/French)
I'm taking Chinese spontaneously, it wasn't mandatory.
Our English course is also compulsory
But I didn't learn another language
How long have you been studying Chinese
3 months 🤣
no wander
I can see that your Chinese is not very good
How did you get interested in Chinese
i rememberd learning chinese from middle school and still can't get the hang of it
Learning a language is hard
I'm not very clear about some clauses and grammar in English
The course was free 😅 my school gave it for free to 15 students
English gets weird if you go too deep
But we need advanced vocabulary and clauses to get high marks in composition
In my day to day life me and my pals speak in broken English most of the times
how do you prove 3^n/n is not bounded above?
What do you mean by not bounded?
that for every real number M there exists a natural number n such that 3^n/n > M
prove that for every integer $n$ greater than 1, $\frac{3^{n+1}}{n+1} > \frac{3^n}{n} \times \frac{3}{2}$, thus proving its divergence
NutronStar45
thank you. but why does proving that mean it diverges?
just show that $3^n > n$ for any non negative integer n
i believe in mathemagic
because $\left( \frac{3}{2} \right)^k$ will eventually supersede any number
as k gets larger
NutronStar45
This is not correct
2n>n for any non-negative integer n but (2n)/n is bounded
this
3^n/n = z, 3^(n+1)/(n+1) = 3z(n/(n+1))
n/n+1 -> 1, A(n+1) -> 3A(n)
Therefore it grows unbounded
Drr drrr lhopital drr
guys is anyone here n the UK
Don’t ask the same question in multiple channels
Im guessing ur not then
what's there to choose from for it have some order? 
it's just algebra and pre-calculus or whatever
t'es aigri
?
where ur pp from
?
pfp?
ye
Riku Kurose from 10 count
Lmfaoooooo
lmfao again
i said something wrong one more time ?
ah ok
I’ve had alcohol my friend
Alcohol tastes terrible
Perfume doesn't count
alcohol not good
Funny how you think I haven’t had alcohol. A) I’m American and B) I’m Jewish
First time I was drunk was when I was 8 days old, boy.
There are some delicious wines, chill beers, and tolerable liquors
???
Smh
Sad
It’s called a Brit Milah
Sad
Jewish boys are circumcised at 8 days old
Damn shame it is
Fuck, i should've said weed
So you get em drunk first
*mutilated
Wowow let’s not shit on religious traditions
Gotta get those health benefits
Like uhhh
“Reduced cancer risk”
Circumcision should be illegal
The fucking MORGUE??
LMFAO
Yohan do you know what a morgue is
Circumcise what?
Fucking MORGUE
Going to the morgue 
Jews call it a Shul (lame Yiddish) or Beit Knesset (lame Hebrew)
The pp
You can keep your religious practices Slurp, but don't force it on children
i want to send a funny gif but i think it might be nsfw
Anyway I will decline your offer Yohan
Babies can't consent to belief systems
I do my best to avoid going to Shul
At 8 days old the pp is like non existent
Babies can’t consent to being born either yet we force em anyway 
Maybe for you but not me boy
The doctor could miss by 0.5 cm and they'd take the whole thing off
The “doctor”
Sure
As if
That's actually a major medical concern
Alcohol you can't remember doesn't count
Oh also Wraith in response to this, Im not forcing my beliefs on anyone, I don’t believe in circumcision and I totally get why people take issue with it.
Me trying to spell curcumsicsion
They get the baby drunk before chopping the pp
Can we just take a moment about how idiotic using alcohol as anestigiaque?
Anyway I have never been drunk after that but I have had alcohol every so often
Anestigiaque
I feel the pain DarQ
Idk how safe it is to use anesthesia on babies
I hope you didn't feel like I was accusing you of anything
you guys study over here?
Anyway I have no issues whatsoever DarQ so obviously getting the baby drunk works!
like which course?
A little bit of alcohol isn't the worst thing
Oh okay, I wasn’t sure but I didn’t want to possibly insult you
No I just sleep eat and sleep
If alcohol worked as an anesthesiac they would have used it before anasthesia was discovered soo
Uh
So like as another tradition every Friday night/Saturday afternoon we have a meal in honor of the sabbath and part of it we have wine. Usually I have grape juice (which fucking is nasty) but on occasion I’ll be coerced into having wine (which also fucking sucks. I hate grapes)
So DarQ I’d wager I’ve had more alcohol than your young ass
Survivorship bias my beloved
I got semi tipsy at my brother’s bar mitzvah
No DarQ you were supposed to go “no issues sure…”
Smh
I haven't had any alcohol yet tbh
You’re not missing out
alcohol mad overrated
Alcohol isn't super appealing tbh
Alcohol was more fun before it was legal for me to have it
I wanna try weed tho
My favorite alcohol is Piper Heidsieck
Which seems to be the story for most people
Alcohol isn’t fun i only enjoy anime
But also for me, alcohol is quite unappealing compared to the other options in life
Yeah there are so many better drugs to do
Like Anime, and things I won't endorse here
let's not start the drug talk again
How does that work? Lol
Exactly
germany
Ah
Wraith is a murderer?
germany plus older brother and older friends
delete this post 
Jokes aside, don't you get addicted the more you drink?
No! The world must know!
You can
Or where does alcoholism stem from?
Addiction is complicated
The more I do my laundry the less I like it…
alcohol is addictive, yes
Very complicated
In my opinion addiction is primarily psychological, but substances like alcohol can also create physical dependencies
yes i am glad that i was able to quit on the spot
The physical dependencies are terrifying
Alcohol especially is one where the withdrawals can kill IIRC
If you're in deep enough
Yeah addiction is scary
But even with physical mechanisms for addiction, you usually need a psychological aspect to actually fall into it, in my anecdotal opinion and experience
To be clear it takes years of daily drinking to achieve this
In pretty large amounts too
Yes
side note: yotsuba talking about alcohol addiction is just peak comedy 
but I'm one of the fans of those "Addiction is a symptom" models
I see 
Everyone I've met with those problems has something heavy they are refusing to deal with, and having had some of my own issues I can tell you that they correlate very strongly with issues I was refusing to deal with
the substance is secondary
I agree
owo
this sounds like a racist thing to say
I can see that
Shuri has a crunchyroll account?
i do?
Kinda sad that most governments just go DRUGS BAD
Is that the thing in your profile?
why are u spying on me
And just completely ignoring what might be the root cause
That is crunchyroll?
my deepest secrets being revealed
FINALLY
ACCEPTANCE
We had to go through ALL the 5 stages
But we finally got here
spy x family and bocchi the rock
POV: DarQ doesn’t understand sarcasm
You can't use sarcasm on just one half of the sentence
Ughhh
Back to square one
Sometimes
I mean, you're in the general channels
This place was made to divert all off topic discussion
What did you expect?
- meow
- meow
- meow
- meow
My name isn't meow
mine is
It's sad because now that i'm not a mod i don't appear above you on the member list
:(
Shuri did you ever have something in your life that only came say, twice a year
and one time that time of year rolled around
gimme the modmail role
and you just weren't excited for it anymore
ryc give it to me
i didnt answer the pedo yet
ill tell him blue
Best server user?

waw u got a hat
Yes
def. @neat frost
Thank you for noticing
how much are you paid to do this
It's Eric
no u
i dont think this is an honest way to earn money
Stfu jealous
i love slurp
meow
he's like me
Ok
my roommate and his gf asked for a good bar
I have to work on homework
no u dont
do me
Time to test out streaming on the new wifi
I am?
no
Oh good
If anyone knows the complexity class Polynomial Hirarchy, I would like to ask for some help about the intuition behind this definition. And some simple properties.
You may want to try asking in the CS server linked in #old-network
ok.
anyone know how to use jekyll?
following this tutorial
===== Likes: 194 👍: Dislikes: 14 👎: 93.269% : Updated on 10-09-2022 17:20:49 EDT =====
Build your own personal website for FREE! I will be utilizing Github pages with Jekyll. Github pages ties everything together and Jekyll is a static generator framework where it automates the task of coding html pages ready for consumers. You do NOT need a cod...
what does it mean for retrieving git keys
presumably it means ssh keys
can anyone answer my easy question?
is that what it meant
what does this mean
like what last stage of installation wizard
Why not just use the official docs?
I'm assuming whatever ruby installation method they are having you go through has an option to install gem, which is like a package manager for ruby iirc (like pip for python).
I know when I have used jekyll I just installed it through gem using the guide in the official docs.
I might have had to install some of the ruby prereqs they specify in those docs tho.
The bare minimum you need is explained here https://jekyllrb.com/docs/
Once you get to the point where jekyll is installed thru gem locally you can build/serve your site using jekyll's macros and junk locally then push your built website to your main site however you choose.
The way I do it is I have a makefile for building/serving locally to test and a script to push to my actual main website.
Idk if this is the best way to do it, just how I do it.
i just followed a yt tutorial
After you get it running locally you can make a git repo too if you like, but git isn't really super necessary.
set up everything except how to make my code changes appear 
i think i figured it out kinda
a lil
Jekyll is kinda finicky lol
I haven't actually used it in like a year or so so I don't remember all the fine details. Lemme look up how I used to do it.
alr thanks
I guess the jist of using jekyll kinda starts here
Ah wait
I can't remember if I had to fiddle with the config.yml file tho
Okay I remember my basic structure
I just have a couple subfolders for different layouts/post types and then a handful of fixed html files in the root directory with some jekyll macro junk to populate all my post types
Yes, the inverse of a quadratic function is no longer a function
Boletín de la Sociedad Matemática Mexicana 1957
if anyone can find this journal I will appreciate it

This is a shot in the dark but
if anyone lives in near any of the library and could see that they could get this I'd appreciate it. I am looking for the following citation in this in particular:
Can someone explain to me what is quadratic formula?
Kan, on c.s.s categories, Bol. soc. Math. Mexicana. 1957, 82-94
@light needle https://dmitripavlov.org/scans/kan-on-css-categories.pdf is this it?
Goated
Hi seyaro
hello edward
<@&268886789983436800>
straight from the big man himself shrug emoji
maybe he did
he got too tired of egirl pretenders like me and wanted the real deal
Good morning!

blo you are a real egirl
bloē uwus too little to be an actual egirl
im too emotion deficient to be an egirl
i discovered that its possible to be hormonal AND emotionally dissociate at the same time
i think my personality type is pretty typical
theres a real person behind the pfp..... i promise.... im not just some persona i made up to collect parasocial relationships..........
I do not.
Hello
Sorry I was offline
I had to go outside to do something
And now I gotta sleep
Good morning slurp!
he doesn't deserve it after bullying blo
by anyone but slurp

Good morning darq
,av 299974051127099396
uwu
another healer
Good morning zane!
Good morning DarQ!
kano?
Yeah
Hello! I am Kano.
I am a VR singer who is in charge of various anime OPs and EDs.
"Song and love transcend language!"
I sing to everyone in the world!
Sometimes, I live stream games and talks.
If you like my song, please subscribe to my channel!
※Please do not reprinting song videos and sound sources without permission.
はじめまして、鹿乃です!
色んなア...

My favorite songs include https://youtu.be/t6o2TpzpPGU and https://youtu.be/GNkPJvVEm0s
おめでとうとありがとうを君に
https://www.bilibili.com/video/av26659364
https://www.bilibili.com/video/av28636520
https://www.bilibili.com/video/av29919932
歌:鹿乃
題字:铭言君
日本語歌詞:BK小鹿
動画:AKAMEI_銘
mixing:ちゃこ
エンコード:LS=_=
サポート:yuuri
※どの動画も転載はお断りしています。
鹿乃「Stella-rium」のミュージックビデオです!
※TVアニメ「放課後のプレアデス」のオープニングテーマ
2015年5月20日発売
鹿乃 1st SINGLE 「Stella-rium」
M1. Stella-rium
作詞: くまのきよみ 作曲・編曲: samfree
M2. Walk This Way!
作詞・作曲・編曲: samfree
M3. ここから、かなたから ~bambino ver.~
作詞:くまのきよみ 作曲:伊藤翼 編曲:samfree
【初回限定盤】
価格:1,500円+税
CD+DVD
※特典
■缶バッジ2個セット
アニメイト・ゲーマーズ・とらのあな・ソフマップ購入者先着特典
■クリアファイル
TSUTAYA、タワーレコード、HMV、ワンダーグー購...
Kano!



sluwurp
Xan
Yeah? You're done with edgerunners?
Does it contain the minimum amount of death and destruction you wish for?
<@&268886789983436800>
anyone have good recommendations for a discord about history?
Lol
I recently read "the domestic revolution" and it was an enlightening read about domestic servant work 1820-1900. a seemingly random piece of history that in fact has a lot on impact on my own life, and was very interesting. do you have any recommendation similar to that?
i find that a book that has dry facts combined with personal anecdotes of people from the era is the easiest/most interesting read for me
i also read "the everyday life of the emperor: franz joseph" which was a funny read about court work in franz joseph era, and it proved interesting in the same way - a look at a different time and era, and quite humane
yeah that sounds interesting.
does it deal with only the elite family?
or the mongols as a whole
thankfully a piece of belief that didn't carry all the way to our frying pans
jk jk
thank you, that sounds great! i'll look it up.
i really recommend both the books i listed btw
not my thing, i think. i like rigor so i can get a sense of prespective and to know the author isn't making things up but i don't care much about knowing the facts later
Have you tried reading some "microhistory?" Carlo Ginzburg's books are pretty good, and are basically just one big anecdote.
We’ll see… there has been death sure but I haven’t really felt anything yet
The characters who were killed off weren’t the most developed
So far though, I still have high hopes
lmk when you finish it then
But! It is a good anime
Deaths aren’t necessary to make a good anime, but they do make it better
Only 10 episodes though 
Yuh

idts
What's up ange?
Edgerunners made me interested in the setting and world of the original game. Before watching it, I just labeled it as a buggy, unfinished game made by a big company.
Have you played the game?
No
Man wonder how cyberpunk 2 is going to be
Was hoping they would just develop more and more on the original game
Oh well
Wait what? They're going to do that?
Have you played it, edwardborn?
Yeah it was honestly not that bad
I thought the game was supposedly good but buggy
But man the ending are always way too sad for me
they made edgerunners into a game? 
I think so, but might just be rumors
No fckn way 
It's a problem that's been vexing for centuries,
Cause no one has ever found a solution please
Angle trisection is impossible it seems
But mathematicians won't give up their dreams
Angle trisection, angle trisection,
No one can solve this mathematical question
But they keep on trying with determination
Angle trisection, angle trisection
From ruler and compass to algebraic curves
They've tried all sorts of techniques to try and preserve
The integrity of the problem and yet they can't see
A way to solve it, they're still searching desperately
Angle trisection, angle trisection,
No one can solve this mathematical question
But they keep on trying with determination
Angle trisection, angle trisection
It's a problem that's been around since ancient Greece
The Babylonians, Egyptians, their minds did not cease
But alas no one has found a solution as of yet
But mathematicians have faith that they won't forget
Rip in Galois
No, I'll give that a try, thank you!
proving its impossible is a solution 
@rain dome
@arctic grove nice hat lmfaooo
lolzz
ty ty
you should thank rat for this hat
what are the chances that, sometime in the future, something like chatgpt will eventually replace homework help servers like this
0
we arent a homework help server
We are a slurp fan server
true, i misspoke
i should be more specific -- the help section
I believe you can use the current chatbot for help on some problems, but it will give you the answer instead of help outright if it is correct
I haven't actually verified the rate at which those answers are correct though
For example
Query:
x+4y = 24 and 2y = 3x + 5
using the substitution method, but don't give me the answer```
Output:
```The substitution method for solving systems of equations involves solving for one of the variables in one of the equations and substituting this value into the other equation. This allows us to solve for the other variable, and then we can substitute this value back into the first equation to find the value of the first variable.
To solve the system of equations given in the question using the substitution method, we can start by solving the second equation for y. This gives us
$$y = \frac{3x + 5}{2}$$
We can then substitute this expression for y into the first equation to get
$$x + 4 \cdot \frac{3x + 5}{2} = 24$$
Solving this equation for x gives us
$$x = \frac{24 - 5}{1 + 6} = \frac{19}{7}$$
We can then substitute this value for x back into the expression for y to find
$$y = \frac{3 \cdot \frac{19}{7} + 5}{2} = \frac{61}{14}$$
Thus, the solution to the system of equations is $(x,y) = \left(\frac{19}{7}, \frac{61}{14}\right)$.```
Which of course is not correct
However the steps until Solving this equation for x gives us are perfectly good initial steps
I asked it to explain colimits
was pretty good
also cocompleteness and the fact that they do not always exist was mentioned
when i asked it to specify in top it choked a bit
@split island happy pfp 😎
Yeah bc I no longer can be blue
The hero sad pfp matched active blue

It's a problem that's been around since ancient grease
The slupforheadnoodle, ameo, their minds did not cease
grease
not what those incompetent greeks couldnt do
cease!
they couldnt even do category theory i bet
Actually they could, category theory goes back to the Neolithic era. When cavemen counted, say as they might count dogs going out and then coming back in in the way that farmers millenia later did with sheep, they constructed domains, codomains, and maps. First they would put a rock on a pile for every dog leaving to construct a set R of rocks, then as they came back, take away a rock from the pile for every returning dog. In this way, a map f: R -> RD where RD is the constructed set of returning dogs was constructed. If this map failed to be surjective, the caveman would be disappointed, and if running out of rocks leading to a failure of well-definedness, there would be plenty jubilation.
that doesnt sound like category theory at all
that sounds like regular set theory?
dont advertise your help channel like #❓how-to-get-help says
is writing an essay in latex with no math/physics halal or haram
@neat frost field this
What's wrong with that
just a shower thought
There's no issue with it
La/TeX is a typesetting language, it also happens to have excellent math support
see: the entire field of linguistics
latex is the standard for linguistics despite linguistics typically using little math (outside of specific subfields) and latex lacking native IPA support
how many mathematical tools am I losing access to if i complete my CS degree as a pure CS degree and don't take a CS-math combined degree?
im worried that i won't be able to research theoretical subjects in CS with just the CS curricullum
in terms of math courses i have in the CS degree:
linear 1/2 for CS students
calculus 1/2 for CS students
introduction to logic (set theory up to dealing with orders and cardinality)
intorduction to probability
probability and statistics for CS students
Honestly that seems pretty good. Maybe some graph theory if you want to do networking stuff, algebra/number theory if you want to do cryptography, etc., but beyond the basics different things in CS would need different math so I don't know what specifically to even recommend studying because I don't really know a ton of CS
it'd be nice to learn some computability theory
Sipser is really fun
That might not be the kind of thing you mean though. 
realising that my grades this semester are f*cked
get nervous
go home
open my bag to do stuff
it’s wet
water bottle leaked
everything in it is wet
that's good to know
Anyone know some good printing services that have paperback and/or hardcover binding? Tried Lulu, but printing with it seemed tricky. Do thesis printing services serve this purpose?
Thanks @storm sage @vast surge
I think I want some approximation theory and heavier logic like mouse mentioned
Is measure theory at all related to graph theory?
Intuitively I think that if I'll want to research ways to analyze complicated graphs like neural nets I'll have to "measure" whatever metric I'm setting up, but I'm not sure if that's even what the field is about
No not really
Measure theory is the theory of defining lengths / area / volumes of sets. This is really closely related to probability theory, probability can all be phrased in terms of measure theory. And people care a lot about random graphs. But this isn't really the relationship you're looking for, they just happen to both be used for random graphs
Hi ricey
There's a probability course offered that doesn't have measure theory as an prerequisite, would that be enough for most CS work?
i (think) yes that should be sufficient
im no expert tho
(but probability theory makes so much more sense when u think about it in measures)
at least, on the proof side imo
Definitely for most CS work. However there are applications of more advanced topics in probability (like stochastic processes or stochastic differential equations) to areas of CS (like computational finance or computational statistics). These advanced areas probability heavily benefit from measure theory, but you wouldn't learn them in a first course anyway
Dr peyam has a nice write up on the lebesgue integral and one of its uses in probability. Very simple, but neat
It's no problem at all to learn that stuff later if you decide you like the kinds of cs that require it
I want to do enough math that I don't feel like my foundations are crooked coming out of my undergrad, but not take too much because there's a lot of really good CS courses I also want to take and both math and CS are heavy load courses
the nice thing is cs and math undergrad programs have a lot of overlap
i know lots of cs major + math major/minor students
Maybe, but the way it's built up here is if you take enough math to go beyond calc 1 calc 2 then suddenly all the actually cool CS stuff is locked
CS don't do analysis
So no approximation theory
I am thinking of adding a minor, but I'll have to fill in a month and half of work since the semester started...
So trying to be frugal
Also no graph theory and no advanced logic for CS!
We do get computability theory tho
Yeah our only graph theory is in the year 1 comb and discrete structures class
oh that’s how it is for most undergrads i think
basic graph theory + other stuff in a class called “discrete mathematics” or some variation
must be nice
And an advanced logic course for ungrads that gets to ergod stuff
Which I just want because it's cool
wdym by all the cool cs stuff is locked btw?
Well I kinda had a similar experience where I took too many math classes and didnt have time to do all the prereqs for cs classes i wanted to take
Like operating systems or compilers
You can only take a certain amount of course points. I suppose you can take more but you pay extra and they don't guarantee they won't clash
:(
:(
But it was worth it to do a lot of math
So doing math + CS you run out of points if you do both fields requisites
that’s really unfortunate but honestly you can always self study
Those are exactly the cool classes I wanna take lol
Yeah
alternatively, depending on your career plan, you can always do math and build a portfolio in cs
ie doing little projects on ur own or whatnot
If you think low level stuff is cool then you probably don't need to worry about probability theory that much. Idk
Though im sure there's a lot of cool stuff in the intersection
but
u should learn probability theory anyways
because it’s cool
how kolmogorov has two strong laws
but one is used to prove another
Anamono did you see the putnam
I tend to find abstract stuff cool.
So logic and the basic ways operations work or the basic way you'd set a system of compilation is very attractive to me
I did A4 which was a probability of ne and I got that wrong
But I was really close!
I think I just messed up the calculation at the end cause i did it in my head
is there a way to find the pdf
Umm one sec
have u considered category theory?
Its not even in the undergrad course list I think
I understood it to be... Generalizations of forms of eqvuilances?
From my one min Wikipedia read
Putnam Archive
"huge applications" is probably exaggerating
Haskell 
They have TeX source. Time to criticize!
Some parts of CS may make use of it
Making me fucking download the file
The game one looks so good. A5 I think?
yeah
a3
Some of them are dumb though
a2 is polynomials
A1 is horrific, B1 is stupid
idk i could take a number theory course next semester but idk if number theory calls to me
Thank you both! I'm off
But analytic number theory is pretty cool
And im sure algebraic number theory is cool if you like algebra
Since that's like
Galois theory and representation theory and stuff that people like
“Divisibility, primes and their distribution, the Euclidean algorithm, perfect numbers, Fermat's theorem, Diophantine equations, applications to cryptography.”
intro to number theory
Blech
wait
Perfect numbers 
Yes there's a big overlap
oh well then nvm cos im taking abstract algebra next sem lol
sorry
“modern algebra”
not abstract
idk recently topology has caught my eye
i started reading this yesterday
seems kinda cool, been googling a lot of stuff but i also get to learn various concepts
Finals week
After finals I'll probably try to study some math on this server over the break
Nice
Hi, is there any resource/website/whatever that provides a bank of questions on a specific math subject? Maybe around high school to entry college level, for practice purpose
Depends on the subject
If it's calculus, you can look at Paul's online math notes or just search for any textbook pdf and do some exercises
Khan academy
yo guys
would anyone mind explaining how the completeness theorem doesn't contradict the incompleteness theorem?
godel's
they are referring to two entirely different things
completeness is predicate logic
incompleteness is Peano arithmetic
think of it that way
the completeness theorem says that for a first order theory, if every model of the theory is a model of some sentence, you can prove that sentence from the theory
basically, anything that's always true can be proven
yeah and doesn't incompleteness say that given finite axioms, there are certain statements that are true but unprovable?
no
Even given infinite axioms
not really
im guessing it's countable
no
and you need to be specific by “statement”
it's more specific
yeah ik xd
if you can use an algorithm to list them all
then they can't prove everything that's true in "true arithmetic"
because of the completeness theorem this means that there are models of any axiom set (that can be generated algorithmically) of the natural numbers that are not equivalent to true arithmetic
I think that's too "long-term", which means too theoretic for me who just needs around 3 months until the exams
completeness theorem: if the axioms semantically imply something, then you can write a proof of it
incompleteness theorem: there's no good set of axioms you can pick for the natural numbers
@velvet dagger are you proud of me I answered my own question from months ago
I only know what completeness theorem was because someone was asking about it and getting a suboptimally worded explanation
xD
And I kinda went in headstrong thinking they were asking about compactness theorem
And once I commit out loud to the fact that I will explain it
that kills me
Lmfao
I realize I don't know what I've committed to explaining
Based
So I just Google it real fuckin fast
And I'm like ohhhhhh so it's like if you know that orders of subgroups of finite groups divide orders of groups
Because you're sonic the hedgehog and checked every finite group and every subgroup
mfw you check every finite group lol
Then you know that someone out there could write down a finite proof of this fact
Look I came up with this explanation literally in the minute that I looked this theorem up
did the person understand it
i understand this
however
what's the difference between "semantically imply" and "prove"?
isnt a proof just a semantic implication?
or is a "proof" something to do with models
A semantically implies B = in every model where A is true, B is true
A syntactically implies B (or A proves B) = I can write down a step by step deduction from A to B
i see so the first just says something about whether something is true, and the latter says something about whether this is provable
but uhh, we're saying that every semantic implication has a proof
so how does that not contradict incompleteness theorem here
where do you see a contradiction
"every semantic implication has a proof" is correct
can you state the incompleteness theorem in your own words
it may help to see where you're getting confused
given a set of axioms that can be generated algorithmically, there are statements about the natural numbers that cannot be proven but are true
that's my understanding of it lol
and then the way i interpret that in my mind is that, we're saying there's a semantic truth about N
but no syntactic deduction (no proof)
one way to phrase it would be like this
if you pick a consistent and algorithmically decidable set of axioms, then they cannot imply every statement which is true about N
here I've picked the word "imply" because soundness and completeness tell us that semantic implication and syntactic implication are equivalent
so you can write semantically imply or syntactically imply and it would be correct
if the axioms semantically imply something, then they will always syntactically imply something
however it could be true that the axioms just aren't enough information to deduce everything about N
so like for example, let's say your only axiom is that 0=0
then 0=0 neither semantically implies nor syntactically implies S0>0
but okay you could say we'll just add S0>0 as an axiom
but then from 0=0, S0>0 there would be something else you can't prove
so you'd have to add another axiom
and so on and so on, and you'd have to add infinitely many axioms in order to have everything that you want to be true follow from the axioms
enough that your set of axioms ends up becoming either inconsistent or no longer computable
Like your axioms will never be enough to "pin down" N
There are always other things that satisfy your axioms which are not equivalent to N
this is what incompleteness is saying
okay I think I said too much and it's probably confusing now xD but feel free to ask any questions
Nah that was useful lol
Sooo completeness is basically that
semantic implication => syntactic implication? @storm sage
But that says nothing about what you can imply overall?
yes, completeness doesn't tell you that axioms semantically imply anything
but soundness and completeness tell you that semantic implication <=> syntactic implication, which is useful
this is so weird honestly lol
i think i get the """difference""" between completeness and incompleteness thm now
but i still don't fully understand the difference between syntactic and semantic implication
like, to me, it seems like they're basically the same thing
even without completeness and soundness
would you mind explaining what they are?
semantic means we're dealing with models
syntactic means we're dealing purely with symbols and rules for manipulating symbols
so the result that they are actually the same thing is somewhat miraculous
(as long as our deduction rules are "good enough")
so like for example, syntactic would be like saying phi -> psi and rho, so phi -> rho
this is purely formal: it only depends on the form of the expression and not on the content
semantic implication is more like: let's say phi semantically implies psi. Then, for every model M, if phi is true in our model M, it just so happens that psi is also true in M
so intuitively the connection between them is not obvious
but if your deduction system for syntactic deductions includes the right rules (there are many possible choices here) for soundness and completeness to hold, they are almost magically the same concept
just a random topic: an irritating thing about knapp's digital editions of his books is how large the page margins are
there is so much unused space
i guess it's for marginalia
but the font is so tiny
and i don't like making my pdfs larger
that makes it so that i have to scroll
i only use the page fit setting most of the time so that i can avoid scrolling and instead only tap a key to advance to the next page
it also makes printing the book extremely wasteful
That depends, there are two versions of the book on the library who's name is the first book of the bible.
One has very wide margins while other has narrow one
Just so that we are on the same note, this is the one I am talking about. The margins seem decent to me
you don't need to go to that library
you can just download it off of knapp's website
the digital edition on his website has excessively large margins
the first edition has standard margins
Oh, I didn't know that, in that case using the library version makes sense?
This is the same 2016 digital second edition. So, checkmate 
I think it's not that hard, just trim the margins using say GS or pdflatex and the pdf should adjust
from when did math become gay
idk why but philosophy has the same feeling as government bureaucracy
"Trust me, it's gonna make progress within the next 50 years"
Well literature is connected to society
It reflects what society is at the moment
tbh my criticism is against the ivory tower
Like Big philosophy is quite literally a thing for some reason
Well,the big names
Kant,Hegel,blah blah
No one except them "matter"
Ok same thing
"yo fuck philosophy i aint no socrates and u dont see me goin around tellin ppl how to live"
socrates 2
its a funny minion facebook mom meme yohan why arent u laughing
I could never understand why Kant is so important
rawls is standard content in german schools
rawls and habermas are the modern philosophers we talked about i think
Because Critique of Pure Reason
Ok Rawls seems very very interesting
Maybe I should actually read it to understand what’s revolutionary about it but also I will never bother
kant was one of the most important thinkers of enlightenment
which was a pretty big movement in europe
it influenced everything
i enjoyed taking a course on it in a historical context
i dont know if critique of pure reason is important considering its impossible to understand 
I do understand why it’s important in a historical context tbf
he also influenced a ton of other philosophers
most importantly hegel probably?
i think hegel is more approchable
What does it mean for a work to be important
It is the basis for groundbreaking theories/inventions?
I mean important in a sense that it’s frequently talked/taught about
Apparently it's his contributions to ethics
He did physics?
Isn't this literally in the Bible and other religious texts?
Kant’s moral philosophy is unique and counterintuitive. Kant believed that for something to be good, it had to be universal—that is, it can’t be “right” to do something in one situation and “wrong” to do it in another. If lying is wrong, it has to be wrong all the time. It has to be wrong when everyone does it.
he did philosophy of physics
it also was a time where the distinction between natural philosophy and natural science wasnt as clear but nobody would call him a physicist today
Kinda agree on this sentiment
He argued you should do your best because anything less is to treat ourselves as a means rather than an end.
Kant is kind of ok,ig
drake youve spent so much time trying to get bad summaries of philosophy from math discord
why not read an actual philosophy text
may i recommend tractatus
kant kant do it
my favourite philosopher so far is perhaps plato
not saying i agree with him or anything
i just liked studying him
and his ideas he comes up with
Best philosopher is Thales Hermes Trismegistus
I mean ,all the philosophy recommendations are on topics I don't care about.
Like I don't care about logic or reason or epistemology.
I am literally incapable of caring about ethics or aesthetics.
The only thing I am interested in is culture/society and I don't think there are any phil texts on that.
if you want something more modern then you kinda have to contend with the analytic-continental split
analytic philosophers think political philosophy is, quote, "fake and gay"
(see rawls' theory of justice)
whereas continental philosophers tend to be either somewhat lefty or giga lefty
you do get some proper liberals on both sides
replace the word political with academic, and the word "gay" with nothing
the thing is that political philosophy quickly becomes ethics since it turns out "how is society structured, and how should it be structured?" quickly becomes "what does it even mean for something to be good?"
Ok,ig I will read those
indeed the first work of so-called "political philosophy" in the western canon was an ethics test
lmao
plato's republic
most philosophers do not even read it as a political work nowadays, despite it using politics extensively
(doesnt stop political scientists tho)
this is a westerncentric viewpoint tho
I guess that's fine. I don't like ethics where it's like highly fictional and absurd thought experiments
theres a lot of confucian works for example that deal with how society ought to function
they tend to be fairly paternalistic and whatnot
but i am not as familiar with them so i dont want to speak to them too much
Like "what if suddenly you got stitched with another human being out of nowhere"
And "hence why abortion is bad"
you can also just read history ofc
it wont tell you the "how should society ought to be" but it will tell you "how society arose and took its various forms, why it did this, and how it affected the people who lived in them"
hint: it's all taxation
everything is taxation
taxation makes the world go round 🛞
(this is a joke but not too far off, we can track the development of society fairly closely to the development of taxation bureaucracy)
(of course the direction of causality depends on your POV)
(but a somewhat popular viewpoint among early human historians is that taxation enabled the progression of states past small farming villages into, well... states, by allowing there to exist a class that neither farmed nor fought for a living)
(this class constituted academics, inventors, bureaucrats, statesmen, etc.)
(and from there, we got people in service industries, people who manufactured luxury goods, etc)
Didn't priests and such already exist before this
they did (for certain definitions of "priest") but they had pretty exclusively religious functions
or well
"religious" is the wrong term
Ok true
like, they assumed leadership roles and stuff
but the point is that they didnt really constitute an entire class
I see
and you can argue that tithes are just taxation except enforced by social pressure/obligation rather than violence
(ofc in some cases, they were enforced by violence as well.)
So who actually studies things like "how has money played a role in evolution of society", etc
Is that what sociologists do
Or is this history
thats what economic historians do yeah
sociologists do so to an extent as well
theres a lot of overlap
an interesting tidbit: a lot of anthropologists used to think that taxation arose from "protection rackets"
like, if you imagine you exist in a pre-bronze-age region without a state
there are two ways to get food
produce it yourself (hunt, farm, gather) or steal it
so a lot of people postulated that large-scale armies eventually formed, but rather than stealing food, they said "well, if you pay us food every year, we won't have to rob you"
"and maybe we'll protect you from other armies too"
but theres some evidence — and i dont know what that evidence is, this is just what ive heard through second-hand accounts — that it wasnt really phrased as "protection", but rather
"we're gonna rob you either way, but if you make it easy on us and dont fight back then we might leave a bit behind" lmao
like the end effect of that is the same
but the way they "thought of it" is clearly different
rather than being structured as tribute paid for protection, its basically just deciding not to fight back
i think the main evidence for this is that "taxation standards" mostly developed after states did
like we see states being funded by extorted money
but we dont see anyone make an effort to like, record how much money an individual farmer ought to pay
or whatever
until many years after the first states formed
so it seems like, rather than there being a tributary system and whatnot where you pay a certain amount of food for protection
you just got robbed lmfao
and they left a little bit behind so you'd keep producing for next year
(rather than starving to death, which would make you unable to farm.)
So basically like pirates
this is jsut based off what evidence we have available
believe it or not, people in prehistory werent super interested in writing down everything they did
and when they did write stuff down, a lot of it was on mediums that dont really stand the test of time
so we dont really have all that much direct evidence unfortunately, just a lot of extrapolation
(also i stress that im not an expert so im probably misstating some stuff here)
would plato count? he writes some stuff on society
plato is super fun to read
i cant accept ryc with a capital r. What thinks you @neat frost ?
a capital r is too intimidating
Ryc is not intimidating
Hi ricey
it looks like i'm some stuffy nerdy bumbling but sort of cute librarian type
💙
RYC is intimidating and it is meant as such
@rocky shuttle look ryc is so cute now !
hello grass
i'm not fucking cute that's why Ryc only lasted for a few days
also
or like 12 hours
a caw is super kawaii
ALSO why are librarians on my mind?
a caw uwu
because yesterday i met a SUPER cute librarian who was the best person ever
and i want him to be my husband.
I agree
It looks fucking stupid
which suits ryc ig
Hi Slurp
RYC is not intimidating
[aː waɪ sɪː] is intimidating
u can make squishy sounds like a cuddly pillow
that train sailed a long time ago
that train sailed
Why would a pillow make squishy sounds
btw ryc if u give yourself not very ppl will u be the same color as me
like an anime slime idk
If your pillow makes sounds, there's something wrong with your pillow

why would i want that
im asking
oh its below honorable
honorable has precedence
thats a silly idea
it wouldn't be very honorable to try and hide from the masses
what the fuck is this
how do you even pronounce [aɪ]
my mouth refuses to say this
hahaha
oh i guess its like [ai] but with a southern-ish accent?
uhh, isn't this just phonetic notation?
i remember when i was still wholesome
did I make a mistake?
nuuu u still r and always will
are you mixing up [ɪ] and [i] perhaps?
[ɪ] is the "i" sound in "bit", [i] is the "ee" sound in "heed"
"bite" would be [bait]
I did not put [aɪ]
??
that's not [aɪ]





