#serious-discussion

1 messages · Page 44 of 1

reef rover
#

雅达利为什么我搜索到的是游戏公司

neat lintel
#

i meant

reef rover
#

ok

#

What foreign languages do Italian students learn?

neat lintel
#

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.

reef rover
#

Our English course is also compulsory

#

But I didn't learn another language

#

How long have you been studying Chinese

neat lintel
#

3 months 🤣

reef rover
#

no wander

#

I can see that your Chinese is not very good

#

How did you get interested in Chinese

proper bone
#

i rememberd learning chinese from middle school and still can't get the hang of it

reef rover
#

Learning a language is hard

#

I'm not very clear about some clauses and grammar in English

neat lintel
reef rover
#

all right

#

you are a good student

#

hardworking

proper bone
#

English gets weird if you go too deep

reef rover
#

But we need advanced vocabulary and clauses to get high marks in composition

proper bone
#

In my day to day life me and my pals speak in broken English most of the times

fervent light
#

how do you prove 3^n/n is not bounded above?

sharp mulch
fervent light
#

i just need to know how to start

#

do you think induction would work?

proper bone
#

What do you mean by not bounded?

fervent light
#

that for every real number M there exists a natural number n such that 3^n/n > M

fast moat
fathom swallowBOT
#

NutronStar45

fervent light
#

thank you. but why does proving that mean it diverges?

woven whale
#

just show that $3^n > n$ for any non negative integer n

fathom swallowBOT
#

i believe in mathemagic

fast moat
#

as k gets larger

fathom swallowBOT
#

NutronStar45

sharp mulch
#

2n>n for any non-negative integer n but (2n)/n is bounded

woven whale
#

true

#

just lh then ig

zealous garden
#

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

neat frost
#

Drr drrr lhopital drr

devout hill
#

guys is anyone here n the UK

sharp mulch
#

Don’t ask the same question in multiple channels

devout hill
river moon
#

what's there to choose from for it have some order? thonk

#

it's just algebra and pre-calculus or whatever

stuck veldt
sharp mulch
#

?

stuck veldt
#

where ur pp from

sharp mulch
#

?

stuck veldt
#

...

#

srry my english bad

zealous garden
#

pfp?

stuck veldt
#

ye

zealous garden
#

Profile Picture

#

Lmfao

sharp mulch
#

Riku Kurose from 10 count

stuck veldt
#

ok

#

bro i googled it

#

what's that

bright hill
stuck veldt
#

why ?

#

ah ok mb

#

now i know why

zealous garden
#

lmfao again

stuck veldt
zealous garden
#

No

#

I just read the messages and started laughing my ass off again

stuck veldt
#

ah ok

neat frost
#

Grow up dude

#

Where’s Xan

bright hill
#

, toddler.

neat frost
zealous garden
#

Alcohol tastes terrible

bright hill
stuck veldt
#

alcohol not good

neat frost
#

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.

zealous garden
#

There are some delicious wines, chill beers, and tolerable liquors

neat frost
#

Smh

zealous garden
#

Sad

neat frost
#

It’s called a Brit Milah

zealous garden
#

Sad

neat frost
#

Jewish boys are circumcised at 8 days old

zealous garden
#

Damn shame it is

neat frost
#

So you get em drunk first

neat frost
zealous garden
neat frost
#

Wowow let’s not shit on religious traditions

#

Gotta get those health benefits

#

Like uhhh

#

“Reduced cancer risk”

zealous garden
#

Circumcision should be illegal

neat frost
#

The fucking MORGUE??

zealous garden
#

LMFAO

neat frost
#

Yohan do you know what a morgue is

bright hill
zealous garden
#

Fucking MORGUE

neat frost
#

I mean like

#

Good parallel there

#

It’s called like a Temple in English or whatever

proud olive
#

Going to the morgue thinkies

zealous garden
#

Yeah

#

You go to Temple

neat frost
#

Jews call it a Shul (lame Yiddish) or Beit Knesset (lame Hebrew)

neat frost
zealous garden
#

You can keep your religious practices Slurp, but don't force it on children

wooden flax
#

i want to send a funny gif but i think it might be nsfw

neat frost
#

Anyway I will decline your offer Yohan

zealous garden
#

Babies can't consent to belief systems

neat frost
#

I do my best to avoid going to Shul

wooden flax
#

type pp into the discord gif search bar

#

and see what pops up

#

lol

bright hill
neat frost
neat frost
bright hill
#

The doctor could miss by 0.5 cm and they'd take the whole thing off

neat frost
#

Sure

#

As if

bright hill
neat frost
#

I don’t respect children

#

Lmfao

#

True!

bright hill
#

Lmfao

#

Anyhow

#

What does that have to do with being drunk?

zealous garden
#

Alcohol you can't remember doesn't count

neat frost
#

Me trying to spell curcumsicsion

neat frost
bright hill
#

Can we just take a moment about how idiotic using alcohol as anestigiaque?

neat frost
#

Anyway I have never been drunk after that but I have had alcohol every so often

#

Anestigiaque

#

I feel the pain DarQ

bright hill
#

And for a baby nonetheless?

#

Like

#

Bruh

neat frost
#

Idk how safe it is to use anesthesia on babies

zealous garden
tawdry frost
#

you guys study over here?

neat frost
#

Anyway I have no issues whatsoever DarQ so obviously getting the baby drunk works!

tawdry frost
zealous garden
#

A little bit of alcohol isn't the worst thing

neat frost
neat frost
bright hill
#

Uh

neat frost
#

So DarQ I’d wager I’ve had more alcohol than your young ass

neat frost
#

I got semi tipsy at my brother’s bar mitzvah

neat frost
#

Smh

bright hill
neat frost
#

Ha!

#

You’re not missing out

bright hill
#

yet

#

I can if I want to

neat frost
#

You’re not missing out

bright hill
#

I see

#

Lol

#

Yeah

eager reef
#

alcohol mad overrated

bright hill
#

Alcohol isn't super appealing tbh

zealous garden
#

Alcohol was more fun before it was legal for me to have it

bright hill
#

I wanna try weed tho

sharp mulch
#

My favorite alcohol is Piper Heidsieck

zealous garden
#

Which seems to be the story for most people

eager reef
#

true

#

i drank a lot when i was pretty young so at like 19 i kinda got tired of it

neat frost
#

Alcohol isn’t fun i only enjoy anime

zealous garden
#

But also for me, alcohol is quite unappealing compared to the other options in life

proud olive
#

Yeah there are so many better drugs to do

zealous garden
#

Like Anime, and things I won't endorse here

eager reef
#

let's not start the drug talk again

zealous garden
#

Exactly

surreal sapphire
bright hill
#

Ah

neat frost
eager reef
#

germany plus older brother and older friends

zealous garden
bright hill
#

Jokes aside, don't you get addicted the more you drink?

neat frost
#

No! The world must know!

bright hill
#

Or where does alcoholism stem from?

zealous garden
#

Addiction is complicated

neat frost
surreal sapphire
#

alcohol is addictive, yes

zealous garden
#

Very complicated

#

In my opinion addiction is primarily psychological, but substances like alcohol can also create physical dependencies

eager reef
#

yes i am glad that i was able to quit on the spot

zealous garden
#

The physical dependencies are terrifying

#

Alcohol especially is one where the withdrawals can kill IIRC

#

If you're in deep enough

neat frost
#

Yeah addiction is scary

zealous garden
#

But even with physical mechanisms for addiction, you usually need a psychological aspect to actually fall into it, in my anecdotal opinion and experience

zealous garden
vivid halo
#

In pretty large amounts too

zealous garden
#

Yes

bright hill
#

side note: yotsuba talking about alcohol addiction is just peak comedy kekw

eager reef
#

wat

zealous garden
#

but I'm one of the fans of those "Addiction is a symptom" models

bright hill
#

I see holothink

zealous garden
#

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

tawdry frost
long matrix
#

uwu

tawdry frost
#

owo

long matrix
#

now that u slurp and darq all have the same colour

#

rip

neat frost
#

Shuri is left out

#

Shuri is sad

long matrix
#

huh?

#

no way id want in with u silly

neat frost
#

Shuri go away

#

This is blue area only

#

Not for people of your color

long matrix
#

this sounds like a racist thing to say

bright hill
neat frost
#

Shuri has a crunchyroll account?

long matrix
#

i do?

bright hill
#

Kinda sad that most governments just go DRUGS BAD

neat frost
#

Is that the thing in your profile?

long matrix
#

why are u spying on me

bright hill
#

And just completely ignoring what might be the root cause

neat frost
long matrix
#

yes slurp

#

well spotted

neat frost
#

That is crunchyroll?

long matrix
#

my deepest secrets being revealed

bright hill
#

Shuri, what're you watching atm?

#

Also

bright hill
#

ACCEPTANCE

#

We had to go through ALL the 5 stages

#

But we finally got here

long matrix
#

spy x family and bocchi the rock

neat frost
tawdry frost
#

do you guys even talk about mathematics

#

i am wondering since past 10 minutes

bright hill
#

Ughhh

#

Back to square one

bright hill
#

I mean, you're in the general channels

#

This place was made to divert all off topic discussion

#

What did you expect?

tawdry frost
#

oh I didnt read

#

just now I read everything'

bronze pelican
#

Hi

#

Rank the best users on this server

long matrix
#
  1. meow
  2. meow
  3. meow
tight comet
#
  1. meow
deep mango
long matrix
deep mango
#

Huh

#

That's odd

long matrix
#

ryc whats odder is u thinking u have a place

#

too bad.

deep mango
#

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

long matrix
#

gimme the modmail role

deep mango
#

and you just weren't excited for it anymore

long matrix
#

idk ryc

#

im not very farsighted

deep mango
#

i can't even grant the modmail role

#

i guess it's above me

naive chasm
#

i didnt answer the pedo yet

#

ill tell him blue

zealous garden
#

Best server user?

long matrix
zealous garden
#

Hm

#

It's uh

long matrix
#

waw u got a hat

zealous garden
#

Yes

naive chasm
zealous garden
#

Thank you for noticing

long matrix
zealous garden
#

It's Eric

neat frost
long matrix
#

i dont think this is an honest way to earn money

neat frost
naive chasm
long matrix
naive chasm
#

he's like me

deep mango
#

Ok

naive chasm
#

my roommate and his gf asked for a good bar

deep mango
#

I have to work on homework

long matrix
#

no u dont

deep mango
#

But am i gonna do that? Lol

#

fuck no

naive chasm
deep mango
#

Time to test out streaming on the new wifi

neat frost
naive chasm
neat frost
#

Oh good

bright hill
frigid lark
#

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.

sharp mulch
#

You may want to try asking in the CS server linked in #old-network

frigid lark
#

ok.

wooden flax
#

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...

▶ Play video
#

what does it mean for retrieving git keys

leaden torrent
#

presumably it means ssh keys

wooden flax
#

yeah thats what i thought

#

so i just generated a new key?

dusky pelican
#

can anyone answer my easy question?

wooden flax
#

is that what it meant

wooden flax
#

what does this mean

#

like what last stage of installation wizard

wild lantern
#

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.

wooden flax
#

@wild lantern i think ive somewhat figured it out

#

this is a bit confusing

wild lantern
#

The bare minimum you need is explained here https://jekyllrb.com/docs/

Jekyll • Simple, blog-aware, static sites

Jekyll is a static site generator. It takes text written in your favorite markup language and uses layouts to create a static website. You can tweak the site’s look and feel, URLs, the data displayed on the page, and more.

#

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.

wooden flax
#

i just followed a yt tutorial

wild lantern
#

After you get it running locally you can make a git repo too if you like, but git isn't really super necessary.

wooden flax
#

set up everything except how to make my code changes appear uhhhh

#

i think i figured it out kinda

#

a lil

wild lantern
#

Jekyll is kinda finicky lol

wooden flax
#

how do you make more subfiles?

#

like this

wild lantern
#

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.

wooden flax
#

alr thanks

wild lantern
#

I guess the jist of using jekyll kinda starts here

#
Jekyll • Simple, blog-aware, static sites

Pages are the most basic building block for content. They’re useful for standalone content (content which is not date based or is not a group of content such as staff members or recipes).

#

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

storm sage
#

Yes, the inverse of a quadratic function is no longer a function

light needle
#

Boletín de la Sociedad Matemática Mexicana 1957

#

if anyone can find this journal I will appreciate it

light needle
light needle
#

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:

lethal jetty
#

Can someone explain to me what is quadratic formula?

light needle
#

Kan, on c.s.s categories, Bol. soc. Math. Mexicana. 1957, 82-94

brave hollow
light needle
#

Yes!

#

thank you

sleek mural
#

@lethal jetty sure! you wanna bring that to dms?

#

i can explain it in details there

limpid beacon
#

hello everyone

#

seyaro here

proud olive
#

Hi seyaro

limpid beacon
#

hello edward

neat frost
#

<@&268886789983436800>

rocky shuttle
#

ryc where are you

#

good morning slurp

flat harbor
#

we cant count on ryc

#

hes too busy with "things"

rocky shuttle
#

things? thonkzoom

#

did he join ee girls

flat harbor
#

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

neat frost
rocky shuttle
alpine kindle
woven whale
#

bloē uwus too little to be an actual egirl

flat harbor
#

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..........

neat frost
#

I do not.

lethal jetty
#

Sorry I was offline

#

I had to go outside to do something

#

And now I gotta sleep

bright hill
long matrix
bright hill
#

Blo likes being bullied doe

long matrix
#

by anyone but slurp

bright hill
rocky shuttle
#

Good morning darq

long matrix
#

,av 299974051127099396

fathom swallowBOT
#
Zanarcane#6798's Avatar

Click here to view the image.

rocky shuttle
#

uwu

long matrix
#

another healer

rocky shuttle
#

you should listen to her

#

healing voice

long matrix
#

i dont remember her name

#

in english

bright hill
neat frost
long matrix
#

kano?

rocky shuttle
#
long matrix
rocky shuttle
#

おめでとうとありがとうを君に

https://www.bilibili.com/video/av26659364
https://www.bilibili.com/video/av28636520
https://www.bilibili.com/video/av29919932

歌:鹿乃
題字:铭言君
日本語歌詞:BK小鹿
動画:AKAMEI_銘
mixing:ちゃこ
エンコード:LS=_=
サポート:yuuri

※どの動画も転載はお断りしています。

▶ Play video

鹿乃「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、ワンダーグー購...

▶ Play video
long matrix
#

shes great

rocky shuttle
#

antlers ftw

rocky shuttle
neat frost
rocky shuttle
#

sluwurp

neat frost
#

Xan

rocky shuttle
neat frost
#

Not yet

#

Finished ep5

rocky shuttle
#

Does it contain the minimum amount of death and destruction you wish for?

faint rivet
#

NoCom

sharp mulch
#

<@&268886789983436800>

lavish kayak
#

anyone have good recommendations for a discord about history?

sharp mulch
#

Lol

lavish kayak
#

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

magic nacelle
neat frost
#

The characters who were killed off weren’t the most developed

#

So far though, I still have high hopes

rocky shuttle
#

lmk when you finish it then

neat frost
#

But! It is a good anime

#

Deaths aren’t necessary to make a good anime, but they do make it better

rocky shuttle
#

Only 10 episodes though pensivebread

neat frost
#

Yuh

sharp mulch
neat frost
#

Is there gonna be a season 2?

#

Hello ange

rocky shuttle
#

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.

neat frost
#

Have you played the game?

rocky shuttle
#

No

proud olive
#

Man wonder how cyberpunk 2 is going to be

#

Was hoping they would just develop more and more on the original game

#

Oh well

rocky shuttle
#

Have you played it, edwardborn?

proud olive
#

Yeah it was honestly not that bad

neat frost
#

I thought the game was supposedly good but buggy

proud olive
#

But man the ending are always way too sad for me

surreal sapphire
#

they made edgerunners into a game? boo

proud olive
rain dome
#

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

storm sage
#

Rip in Galois

lavish kayak
long matrix
latent sage
#

@rain dome

bright hill
#

@arctic grove nice hat lmfaooo

arctic grove
#

ty ty

#

you should thank rat for this hat

cyan goblet
#

what are the chances that, sometime in the future, something like chatgpt will eventually replace homework help servers like this

surreal sapphire
#

we arent a homework help server

neat frost
#

We are a slurp fan server

cyan goblet
#

i should be more specific -- the help section

split island
#

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

eager reef
#

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

fair mural
#

@split island happy pfp 😎

split island
#

The hero sad pfp matched active blue

fair mural
#

mods you hear kirby

#

they don’t want honorable so you can give it to me

split island
rain dome
long matrix
#

its not a problem we have right now

#

and i only care about the right now

long matrix
#

not what those incompetent greeks couldnt do

rain dome
long matrix
#

they couldnt even do category theory i bet

rain dome
#

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.

long matrix
#

that doesnt sound like category theory at all

fair mural
#

that sounds like regular set theory?

long matrix
lament flicker
#

is writing an essay in latex with no math/physics halal or haram

long matrix
#

@neat frost field this

sharp mulch
#

What's wrong with that

lament flicker
#

just a shower thought

neat frost
#

There's no issue with it

#

La/TeX is a typesetting language, it also happens to have excellent math support

leaden torrent
#

latex is the standard for linguistics despite linguistics typically using little math (outside of specific subfields) and latex lacking native IPA support

next schooner
#

covington

#

yum

lavish kayak
#

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

vast surge
storm sage
#

it'd be nice to learn some computability theory

bronze pelican
#

@vast surge hi Zorn's lemon

#

How's it going

wild lantern
#

That might not be the kind of thing you mean though. thonk

timber pollen
#

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

vale plover
#

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?

lavish kayak
#

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

sharp mulch
#

No not really

deep mango
brittle socket
#

Hi ricey

lavish kayak
cyan goblet
#

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

deep mango
solid snow
#

Dr peyam has a nice write up on the lebesgue integral and one of its uses in probability. Very simple, but neat

deep mango
#

It's no problem at all to learn that stuff later if you decide you like the kinds of cs that require it

cyan goblet
#

stochastics are super interesting

#

someday i might look into it

lavish kayak
#

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

cyan goblet
#

the nice thing is cs and math undergrad programs have a lot of overlap

#

i know lots of cs major + math major/minor students

lavish kayak
#

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

lavish kayak
#

We do get computability theory tho

cyan goblet
#

that’s pretty weird

#

for lack of a better word

lavish kayak
#

Yeah our only graph theory is in the year 1 comb and discrete structures class

cyan goblet
#

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

lavish kayak
#

Oh

#

The math department has a undergrad course which is pure graph theory

cyan goblet
#

must be nice

lavish kayak
#

And an advanced logic course for ungrads that gets to ergod stuff

lavish kayak
cyan goblet
#

wdym by all the cool cs stuff is locked btw?

deep mango
#

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

lavish kayak
#

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

deep mango
#

:(

cyan goblet
#

:(

deep mango
#

But it was worth it to do a lot of math

lavish kayak
#

So doing math + CS you run out of points if you do both fields requisites

cyan goblet
lavish kayak
deep mango
#

Yeah

cyan goblet
#

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

deep mango
#

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

cyan goblet
#

but

#

u should learn probability theory anyways

#

because it’s cool

#

how kolmogorov has two strong laws

#

but one is used to prove another

deep mango
#

Anamono did you see the putnam

cyan goblet
#

so it’s more like a strong and stronger

#

haven’t looked at it yet

#

is it good

deep mango
#

There are like 2 or 3 probability problems

#

Its crazy

lavish kayak
deep mango
#

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

cyan goblet
#

is there a way to find the pdf

deep mango
#

Umm one sec

cyan goblet
lavish kayak
cyan goblet
#

very likely not

#

it’s also a relatively new field

#

but huge applications in cs

lavish kayak
#

I understood it to be... Generalizations of forms of eqvuilances?

#

From my one min Wikipedia read

deep mango
sharp mulch
#

"huge applications" is probably exaggerating

cyan goblet
#

yeah exaggerating

#

but likely to have big applications

deep mango
#

Haskell sotrue

neat frost
#

They have TeX source. Time to criticize!

sharp mulch
#

Some parts of CS may make use of it

neat frost
#

Making me fucking download the file

deep mango
#

Anyway

#

This is the best putnam in ages

#

It's all analysis

cyan goblet
#

these look hella fun

#

last years looked so boring

#

like all number theory iirc

deep mango
#

The game one looks so good. A5 I think?

cyan goblet
#

yeah

deep mango
#

Even the number theory one A2 looks cool

#

Or A3

#

Idk

cyan goblet
#

a3

deep mango
#

Some of them are dumb though

cyan goblet
#

a2 is polynomials

deep mango
#

A1 is horrific, B1 is stupid

cyan goblet
#

idk i could take a number theory course next semester but idk if number theory calls to me

deep mango
#

A2 idfk

#

What's it about

#

I think elementary number theory is boring

lavish kayak
#

Thank you both! I'm off

deep mango
#

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

cyan goblet
#

“Divisibility, primes and their distribution, the Euclidean algorithm, perfect numbers, Fermat's theorem, Diophantine equations, applications to cryptography.”

#

intro to number theory

deep mango
#

Blech

cyan goblet
#

wait

deep mango
#

Perfect numbers sotrue

cyan goblet
#

this is basically like

#

half of abstract algebra

#

lol

deep mango
#

Yes there's a big overlap

cyan goblet
#

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

vast surge
#

After finals I'll probably try to study some math on this server over the break

bronze pelican
#

Nice

fierce ivy
#

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

lunar falcon
#

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

junior jolt
#

yo guys

#

would anyone mind explaining how the completeness theorem doesn't contradict the incompleteness theorem?

#

godel's

alpine kindle
#

they are referring to two entirely different things

teal lion
#

completeness is predicate logic

#

incompleteness is Peano arithmetic

#

think of it that way

alpine kindle
#

basically, anything that's always true can be proven

junior jolt
#

yeah and doesn't incompleteness say that given finite axioms, there are certain statements that are true but unprovable?

alpine kindle
#

no

teal lion
#

Even given infinite axioms

alpine kindle
#

not really

junior jolt
#

im guessing it's countable

alpine kindle
#

no

teal lion
#

and you need to be specific by “statement”

alpine kindle
#

it's more specific

junior jolt
alpine kindle
#

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

fierce ivy
# bright hill Khan academy

I think that's too "long-term", which means too theoretic for me who just needs around 3 months until the exams

storm sage
#

@velvet dagger are you proud of me I answered my own question from months ago

velvet dagger
#

Tbh you now know this better than I do I think :PPP so yeah proud

#

Honestly

storm sage
#

yay!!!

#

:D

velvet dagger
#

I only know what completeness theorem was because someone was asking about it and getting a suboptimally worded explanation

storm sage
#

xD

velvet dagger
#

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

storm sage
#

that kills me

zealous garden
#

Lmfao

velvet dagger
#

I realize I don't know what I've committed to explaining

zealous garden
#

Based

velvet dagger
#

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

storm sage
#

mfw you check every finite group lol

velvet dagger
#

Then you know that someone out there could write down a finite proof of this fact

velvet dagger
storm sage
#

did the person understand it

junior jolt
#

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

storm sage
junior jolt
#

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

junior jolt
storm sage
#

"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

junior jolt
#

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)

storm sage
#

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

junior jolt
#

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?

storm sage
#

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

junior jolt
#

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?

storm sage
#

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")

storm sage
#

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

vale plover
#

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

echo tundra
#

Just so that we are on the same note, this is the one I am talking about. The margins seem decent to me

vale plover
#

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

echo tundra
#

Oh, I didn't know that, in that case using the library version makes sense?

vale plover
#

yeah, but new = good

#

plus errata are fixed

#

and possibly some new content

echo tundra
#

This is the same 2016 digital second edition. So, checkmate catKing

vale plover
#

someone must have modified that file

echo tundra
#

I think it's not that hard, just trim the margins using say GS or pdflatex and the pdf should adjust

midnight prairie
#

from when did math become gay

torn willow
#

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

flat harbor
#

"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

chrome goblet
#

I could never understand why Kant is so important

surreal sapphire
#

rawls is standard content in german schools

#

rawls and habermas are the modern philosophers we talked about i think

torn willow
#

Ok Rawls seems very very interesting

chrome goblet
#

Maybe I should actually read it to understand what’s revolutionary about it but also I will never bother

surreal sapphire
#

kant was one of the most important thinkers of enlightenment

#

which was a pretty big movement in europe

#

it influenced everything

flat harbor
#

i enjoyed taking a course on it in a historical context

surreal sapphire
#

i dont know if critique of pure reason is important considering its impossible to understand opencry

chrome goblet
#

I do understand why it’s important in a historical context tbf

surreal sapphire
#

he also influenced a ton of other philosophers

#

most importantly hegel probably?

flat harbor
#

i think hegel is more approchable

torn willow
#

What does it mean for a work to be important

#

It is the basis for groundbreaking theories/inventions?

chrome goblet
#

I mean important in a sense that it’s frequently talked/taught about

surreal sapphire
#

i mean people like kant influenced everything

#

science, politics, ...

torn willow
#

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.
surreal sapphire
#

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

torn willow
#

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

leaden torrent
#

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

long matrix
#

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

zealous garden
#

Best philosopher is Thales Hermes Trismegistus

torn willow
# leaden torrent ~~may i recommend tractatus~~

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.

leaden torrent
#

so political philosophy?

#

read locke, mill, rousseau, marx

junior jolt
#

but what if i told you that logic and epistemology is cool?

#

checkmate

leaden torrent
#

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

junior jolt
leaden torrent
#

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?"

torn willow
leaden torrent
#

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

torn willow
leaden torrent
#

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

torn willow
#

And "hence why abortion is bad"

leaden torrent
#

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)

torn willow
#

Didn't priests and such already exist before this

leaden torrent
#

they did (for certain definitions of "priest") but they had pretty exclusively religious functions

#

or well

#

"religious" is the wrong term

torn willow
#

Ok true

leaden torrent
#

like, they assumed leadership roles and stuff

#

but the point is that they didnt really constitute an entire class

torn willow
#

I see

leaden torrent
#

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.)

torn willow
#

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

leaden torrent
#

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.)

torn willow
#

So basically like pirates

leaden torrent
#

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)

long matrix
deep mango
#

plato is super fun to read

long matrix
#

capital R ryc

#

u r abominable

deep mango
#

what?

#

oh yeah i had an idea last night

long matrix
#

i cant accept ryc with a capital r. What thinks you @neat frost ?

#

a capital r is too intimidating

rocky shuttle
#

better than RYC tbh

deep mango
#

Ryc is not intimidating

brittle socket
#

Hi ricey

deep mango
#

it looks like i'm some stuffy nerdy bumbling but sort of cute librarian type

deep mango
#

RYC is intimidating and it is meant as such

long matrix
#

@rocky shuttle look ryc is so cute now !

deep mango
#

hello grass

#

i'm not fucking cute that's why Ryc only lasted for a few days

#

also

#

or like 12 hours

long matrix
#

a caw is super kawaii

deep mango
#

ALSO why are librarians on my mind?

rocky shuttle
#

a caw uwu

deep mango
#

because yesterday i met a SUPER cute librarian who was the best person ever

#

and i want him to be my husband.

neat frost
#

It looks fucking stupid

#

which suits ryc ig

brittle socket
#

Hi Slurp

long matrix
#

now rycs name is perfect !

#

not that i agree with the #

#

but itll do

deep mango
#

what

#

oh

#

dw it will change rapidly im sure

flat harbor
#

if shuri has a meow

#

then what environmental niche can i rely on..

bronze pelican
#

RYC is not intimidating

rocky shuttle
#

[aː waɪ sɪː] is intimidating

long matrix
#

bloe is cuddly and wholesome

deep mango
#

no way

#

blo isn't wholesome

long matrix
#

u can make squishy sounds like a cuddly pillow

deep mango
#

that train sailed a long time ago

long matrix
#

that train sailed

bronze pelican
#

Why would a pillow make squishy sounds

long matrix
#

btw ryc if u give yourself not very ppl will u be the same color as me

long matrix
bronze pelican
#

If your pillow makes sounds, there's something wrong with your pillow

long matrix
long matrix
deep mango
#

oh

#

ill try it

#

test

long matrix
#

oh its below honorable

deep mango
#

honorable has precedence

long matrix
#

thats a silly idea

deep mango
#

it wouldn't be very honorable to try and hide from the masses

long matrix
#

not very ppl is more important

#

the color is just beautiful

leaden torrent
#

how do you even pronounce [aɪ]

#

my mouth refuses to say this

flat harbor
leaden torrent
#

oh i guess its like [ai] but with a southern-ish accent?

rocky shuttle
#

uhh, isn't this just phonetic notation?

flat harbor
#

i remember when i was still wholesome

rocky shuttle
#

did I make a mistake?

long matrix
leaden torrent
#

are you mixing up [ɪ] and [i] perhaps?

#

[ɪ] is the "i" sound in "bit", [i] is the "ee" sound in "heed"

#

"bite" would be [bait]

rocky shuttle
#

I did not put [aɪ]

leaden torrent
rocky shuttle
#

that's not [aɪ]