#serious-discussion

1 messages · Page 231 of 1

ocean harbor
#

im jk

jaunty ibex
#

I'm not dating deltoid

silent junco
ocean harbor
#

i know

flat harbor
#

hes mine anyways

stark trench
latent edge
#

Do not joke about relationships. Thanks

ocean harbor
ocean harbor
jaunty ibex
#

You killed the channel

stark trench
ocean harbor
#

its your fault

timid bronze
#

im straight but id so date clau

fringe summit
#

@clau get yo girl

jaunty ibex
#

I'd date ally

#

She's my type

latent edge
#

crazy work veroid

flat harbor
#

so . umm

#

nice weather outside today huh

coarse bridge
#

Bro would so date clau and date clau’s so 🪫

#

wait lemme ping

#

Nvm

timid bronze
#

i know claus personality pretty well

coarse bridge
#

Blud’s checking my messages anyways

timid bronze
#

Cant fall in love with someone without knowing their personality

#

or thats..

jaunty ibex
flat harbor
#

opencry envy is so real in this chat

velvet dagger
coarse bridge
#

tm wants me to capitalize every acronym 🥀

latent edge
#

Tm Wants Me To Capitalize Every Acronym

flat harbor
ocean harbor
#

who is end me again

stark trench
#

he's wrong, we're in a pynchon novel. girl im sorry but you DO NOT want to be the mc

flat harbor
#

all i have for u are ad hominems

jagged forge
fringe summit
jaunty ibex
#

Bro's so 🥀

flat harbor
latent edge
#

brainrot ass server bro each time someone says something silly everyone reacts to their message

bronze pelican
timid bronze
#

@gentle birch

flat harbor
#

u gotta self react to make a living

timid bronze
#

Deal with me liking one direction

#

One direction is my life

flat harbor
coarse bridge
latent edge
#

my ass reading tm as tmux

flat harbor
#

ure so mean to me lately... ㅠㅅㅠ

stark trench
#

shit i forgot to respond to this, this says like literally nothing since most undergrads do not know any logic, frankly most undergrads have not even seen the compactness theorem before

timid bronze
flat harbor
latent edge
timid bronze
#

Dont love anyone more than those 5 boys (well 4 but)

stark trench
#

deltoid, you're not an undergrad, no?

ocean robin
coarse bridge
#

valid

fresh comet
flat harbor
#

i used to love big bang

stark trench
#

what!?

flat harbor
#

...

timid bronze
stark trench
#

i see

timid bronze
#

ITS A GOOD BAND

jaunty ibex
#

Deltoid lore dropped

latent edge
stark trench
#

he gives off such grad student vibes

coarse bridge
flat harbor
#

deltoid is an uneducated child of age 3 to 5

fringe summit
stark trench
#

logic is like the least well-known about field

gentle birch
#

why are we in this forsaken channel now

stark trench
#

that's big and actually useful

ocean robin
#

logic is scary

fringe summit
stark trench
#

YES

coarse bridge
#

I haven’t seen Daminark online in a while.

latent edge
modern creek
stark trench
#

dude i am SO down for a geometric stability theory reading group

ocean robin
stark trench
fringe summit
stark trench
#

@brave flare c'mere

jaunty ibex
#

I want a number fields reading group

fringe summit
stark trench
#

shit maybe i shouldn't have such gratuitous pings

latent edge
jaunty ibex
#

That's right

fringe summit
stark trench
#

sharp is incredibly geometry-pilled

latent edge
#

chat do you think im more geometric or algebraic

fringe summit
flat harbor
#

everyone promises to read physics with me but noone follows up

modern creek
keen stirrup
#

what is geometry?

fringe summit
#

I don’t believe a lot of “geometry” is actually geometric

stark trench
#

i swear ive heard you emphasize geometry in the past, just in general endeavors

keen stirrup
#

alright, but what is it?

ocean robin
#

i should probably focus on topology and algebra tbh

#

for the summer

timid bronze
#

@coarse bridge @fringe summit Ok but hurry up later i wanna play gartic

fringe summit
modern creek
latent edge
ocean robin
fringe summit
latent edge
#

It's just some algebraic nonsense that actually works

keen stirrup
#

geometry is when

#

the

ocean robin
#

i'm taking them in the fall and i need to prepare

fringe summit
keen stirrup
#

geometry is when

stark trench
#

"prob"

ocean robin
modern creek
fringe summit
stark trench
#

yeah actually that sounds sick to me

latent edge
#

Number theory geometry has several flavors

keen stirrup
#

geometry is

latent edge
#

I like lattice geometry the most

#

it's so eeveekawaii

modern creek
#

Geometric group theory anyone?

stark trench
#

nope nope nada never

flat harbor
#

fields on a lattice

ocean robin
#

geometry group theory sounds so cool

keen stirrup
#

fields of lettuce

latent edge
#

Spec(Z) geometry is fucked

flat harbor
#

i like free groups

fringe summit
flat harbor
#

geometry yummers

modern creek
#

A group is free iff it's cayley graph is a tree

#

Goated

bronze pelican
#

Everyone understands my taste and agrees with my taste for peak

latent edge
#

You like teto

#

therefore peak

flat harbor
#

what does spec z really look like

latent edge
bronze pelican
flat harbor
#

wrong answers appreciated

keen stirrup
#

geometry is

#

what the fuck is geometry

flat harbor
#

p for projective

latent edge
#

I appreciate the geometric explanation of ramified primes

keen stirrup
#

geometry is when dimension

#

what

#

no

stark trench
#

eris please

keen stirrup
#

help me out here

stark trench
#

lay off the marijuana

keen stirrup
#

how did you know

#

god damn it

bronze pelican
#

Everyone understand why what i like is peak

flat harbor
#

eris we should hold hands

keen stirrup
#

IT IS MY BIRTGHDAY KLET ME BE HIGH

keen stirrup
flat harbor
#

happy birthday yy

stark trench
#

youve been high for the last sixteen days!!!

keen stirrup
#

im Adult

flat harbor
#

just now?

ocean harbor
#

welcome to hell

keen stirrup
#

"Unc" status, as the kids say

#

As the teens say

#

Heh

bronze pelican
keen stirrup
#

New slang guys, Unc

flat harbor
#

cant hold hands then sorry

brave flare
#

Sind when is discussion 2 actice

keen stirrup
#

we're in discussion 2?

stark trench
#

since deltoid made it so

bronze pelican
#

I can't even tell if I'm listening to ai rn

keen stirrup
#

i didn't even know that

#

how did i get here?

stark trench
keen stirrup
#

who are you?

stark trench
#

i generated this in 1 minute

flat harbor
#

just look into my eyes

#

quietly

stark trench
#

blo please calm down

flat harbor
#

watch me breathe

timid bronze
#

Blo sometimes you frighten me

fringe summit
keen stirrup
flat harbor
stark trench
#

okay so sharp if we get enough people would you unironically be down for a gst reading group

modern creek
bronze pelican
#

What is there to read about ggt

stark trench
#

i would like to actually do something interesting on discord, thus far in my discord career i have done nothing

stark trench
brave flare
#

discord career

timid bronze
stark trench
#

i mean what are you asking

flat harbor
bronze pelican
flat harbor
keen stirrup
latent edge
#

I would be down for a reading group for cohomology of arithmetic groups

stark trench
bronze pelican
flat harbor
#

i would be down for a reading of my horoscope

stark trench
bronze pelican
#

I don't know what to read btw

keen stirrup
bronze pelican
#

Harder?

brave flare
#

Wtf is ggt

#

Größter gemeinsamer Teiler

latent edge
keen stirrup
latent edge
#

that's my primary resource

flat harbor
fringe summit
bronze pelican
#

Harder is too big

#

And intimidating

fringe summit
keen stirrup
bronze pelican
#

I don't like reading

keen stirrup
#

i'd like to be a voice actor.

#

chill career.

bronze pelican
#

I wish someone (like dami) could read math to me like a bedtime story

timid bronze
flat harbor
timid bronze
#

Gulf Standard Time

#

thats like

stark trench
#

it shocks me both T&Z and Hodges garnered like almost no activity

fringe summit
timid bronze
#

some of middle east

fringe summit
#

But that had the most activity (like 2-3 people showing up)

bronze pelican
#

I wish hatsune miku could read math to me

timid bronze
#

Could be wrong

keen stirrup
#

me when i realize i actually have to learn quantum mechanics uponthewitnessing

stark trench
#

i just discovered this emoji

fringe summit
#

Hodges made it a couple chapters in and had other people presenting, like slurp, but it died when Carla volunteered to do a section and then didn’t

fringe summit
velvet dagger
fringe summit
#

Or “mixed p-adic hodge theory shiver

keen stirrup
bronze pelican
#

Yknow, I think it would be pretty cool to create a text-to-speech app specifically for math pdfs

stark trench
#

ah i see

fringe summit
#

So

stark trench
#

this is very discouraging

fringe summit
#

None of those 4 reading groups had much real interaction

velvet dagger
#

Def the p-adic hodge theory won't have much real interaction...

stark trench
#

if we can't even get a hodges reading group up then there's no way we're getting a geometric stability group

keen stirrup
#

so many good jokes come to my head that i cannot express on this sfw server

#

dad gummit

fringe summit
#

And the differential fields i annotated like 2/3 of a text, and that was the extent of the activity

fringe summit
bronze pelican
#

I ain't doing no reading groups

stark trench
#

i mean like one where we have actual activity

#

obv

fringe summit
#

Like “yeah I’ll join” and then never reading it etc

bronze pelican
#

I'm past the stage of reading

stark trench
#

idk maybe hodges was too slow for them

keen stirrup
#

I will invent new logical diagrams

bronze pelican
#

The only groups ill engage in are listening groups

#

I ain't reading sht

fringe summit
stark trench
#

i see

fringe summit
#

So excluding a lot of things

latent edge
#

p-adic hodge theory is cursed

timid bronze
flat harbor
#

ull do it in no time

timid bronze
#

me when im self studying it now

timid bronze
#

🙈

keen stirrup
stark trench
flat harbor
#

even better

velvet dagger
#

Yeah he told me he would give some of his favorite students the opportunity to keep talking to him about stuff

stark trench
#

it'd be silly to do something else

fringe summit
#

But

fringe summit
#

It fell apart again

timid bronze
#

WE GO TO DIFFERENT SCHOOLS

keen stirrup
#

i will inadvertently find the most difficult ways to learn quantum mechanics and use bruteforce effort to grasp the concepts

timid bronze
coarse bridge
#

ok fine

stark trench
#

that really sucks

velvet dagger
stark trench
#

more generally, what do the logic reading groups look like?

fringe summit
#

Combinatorial set theory nothing ever happened

stark trench
#

och

stark trench
#

okay im assuming they're all duds then

coarse bridge
#

duds or dudes

#

Or both

stark trench
#

carla was NOT a dude

#

was she a puppygirl? i forget

coarse bridge
#

who’s carla 🥀

keen stirrup
#

dudettes

fringe summit
#

So

#

Perhaps a failure on my organization

keen stirrup
#

you guys are such funny little critters

timid bronze
#

I DONT LIKE THE JOKE BC IT LIKE IMPLIES WE GO TO THE SAME SCHOOL

#

BUT WE DONT

stark trench
#

yeah, or you have the systematically most boring interests

timid bronze
#

SO THE JOKE EVENTUALLY

#

NEEDS TO END

coarse bridge
velvet dagger
#

I'VE SEEN PRANKS GO ON FOR YEARS 🤣

timid bronze
#

Ok i dont want a prank to turn into an unfunny lie

fringe summit
timid bronze
#

Im not a pathological liar

velvet dagger
#

Alright I'll pull the plug then lmao

timid bronze
fringe summit
timid bronze
#

DO U GET WJAT I MEAN

#

IN A WAY IT MAKES ME FEEL LIKE

#

IM CATFISHING

silent junco
stark trench
#

to be selfish, im a bit sad there's not as much of an interest in logic here

velvet dagger
#

I see why you don't like it, yeah

timid bronze
stark trench
#

my interest in logic is not just philosophical by any means

coarse bridge
timid bronze
#

So joke eventually had to end at some point.

keen stirrup
coarse bridge
#

For the ones we were talking about I still just have to like be sure what I wanna commit to

stark trench
#

though ill probably end up doing research in paraconsistent model theory to make it more of a mathematically interesting field in part because of philosophical interests at some point

coarse bridge
#

cuz I don’t wanna say I’m down then have to stop

velvet dagger
timid bronze
stark trench
#

hopefully interesting stuff has actually happened by the time i get through undergrad

timid bronze
#

U seem upset

velvet dagger
#

Nah not upset, it's more like

#

Sure I see where you're coming from

timid bronze
velvet dagger
#

DO I?

timid bronze
#

LIKE

#

YES

silent junco
keen stirrup
timid bronze
#

SPEAK IN CAPS ONLY TODAY

latent edge
keen stirrup
#

if you don’t mind me asking

velvet dagger
#

IF I WERE SUPER SERIOUS OR SAD I'D GO TO DMS

#

I DON'T HASH SERIOUS THINGS IN PUBLIC

timid bronze
velvet dagger
#

YEAH BECAUSE YOU SOUND MORE SERIOUS THAN ME

silent junco
#

ive been in one successful reading group and one failed one and the difference was really just accountability

timid bronze
#

HOW

stark trench
timid bronze
#

I SPEAK IN CAPS MORE THAN U DO

latent edge
keen stirrup
timid bronze
#

Ok wait maybe not as much recently

latent edge
#

We didn't have that stuff in HS

stark trench
#

but i will end up finishing uni probably earlier than expected, but i would like to do some undergraduate research

velvet dagger
#

Hmmmmm

timid bronze
#

Thats bc this semester overworked me

#

Blame the semester

keen stirrup
#

the time will come when i’ll have to apply to the big boys in about a year or so 0_o

timid bronze
#

Next semester worse

latent edge
#

i mean even if we did, you are still required to retake stuff which is quite annoying

keen stirrup
timid bronze
#

wait but dami idk when to take a bio class or intro to programming

#

Im like

#

Delaying as much as i can rn

#

Too many labs id have a week

stark trench
#

uh i have very bad adhd and i would be able to take medication for it but i can't because of, let's say, nebuluous health problems

velvet dagger
latent edge
#

adhd is both my saviour and my destroyer

keen stirrup
velvet dagger
stark trench
#

well, maybe

#

im very neurodivergent

#

but it's not like, profoundly interesting

stark trench
timid bronze
#

sorry cs people i love u guys all but

#

The thing u guys do..

#

IS SOB ORING NSD MAKES ME WANNA BEAT MY COMPUTER

fringe summit
keen stirrup
bronze pelican
#

I like coding

#

Ts peak fun

jagged forge
#

it aint about the code. it's about bending the computer to ur will

timid bronze
#

oh god suremark here

silent junco
coarse bridge
velvet dagger
jagged forge
#

and also graphs and numbers that go up and activate my monkey brain

timid bronze
jagged forge
keen stirrup
fringe summit
timid bronze
#

Closet

#

Yk

jagged forge
#

monkey ok u win im out

timid bronze
#

LMFAO

velvet dagger
timid bronze
silent junco
keen stirrup
#

life is too short to NOT print debug

velvet dagger
keen stirrup
#

who tf has time for gdb?

timid bronze
#

i respect comp scientists

#

and id never shit on that major or any major in fact

#

Comp sci is just not for me

stark trench
fringe summit
silent junco
#

computer scientists dont code at all they just hire grad students to code for them

velvet dagger
#

Yeah I think not vibing with a major is def not dissing on it

bronze pelican
timid bronze
#

Cuz how he responds is so funny

keen stirrup
#

i’m far from it 0_o

velvet dagger
silent junco
keen stirrup
#

i convince myself i’m a moron every single day

silent junco
#

we really need to gts

timid bronze
velvet dagger
#

I'm sorry W H A T

stark trench
timid bronze
#

apparently this is what hairless pandas look like

#

LMAOOOOOOOO

fringe summit
silent junco
neat lintel
#

There’s no way

#

That’s a hairless panda

keen stirrup
stark trench
keen stirrup
stark trench
#

i don't think im a moron but i don't think im particularly that bright

velvet dagger
stark trench
#

like i think im smart enough to have my personality actually be useful in compelling me to not think stupid things or be bigoted

#

but i don't think im incredibly bright, either

bronze pelican
#

Like imagine having a vision and implementing that vision. The computer is just a tool. I like that programming allows me to do what I want

keen stirrup
stark trench
#

can you elaborate?

#

which thoughts am i inhibiting?

keen stirrup
jagged forge
#

it looks like a dark souls boss fr

keen stirrup
#

how you think of yourself reminds me of how i think/thought of myself

timid bronze
#

i should probably shower now times running

fringe summit
keen stirrup
#

belief is such a

stark trench
#

well i mean i don't think "im not a genius but im not a dullard" is that unreasonable of a thought lol

keen stirrup
stark trench
#

eh not really

silent junco
keen stirrup
#

really?*

stark trench
#

i'd much prefer to be a genius, yeah

keen stirrup
#

i wouldn’t

#

too much pressure

stark trench
#

eh there's not really any pressure there

#

at least for me

#

it's really frustrating to struggle with things, though

keen stirrup
#

i have an anxious personality, would u say u do?

stark trench
#

not really

keen stirrup
#

yeah, that makes sense

#

it’s an unfortunate thing to be

#

;-;

latent edge
stark trench
#

we are not omniscient and so when we do not know things we want to know, that is usually frustrating

keen stirrup
#

very much so

latent edge
#

If math was very easy and not frustrating I wouldn't be doing math. It would be boring

stark trench
#

i think im pretty leveled

keen stirrup
#

hm

stark trench
#

like for instance i'd like to just know "what is the best paraconsistent theory for doing model theory in? what is the correct (strict / internally classical) definition of a model and (weak / internally nonclassical) definition of a model?"

keen stirrup
#

kinda weird question that you don’t have to answer, but are your parents strong people?

stark trench
#

nope

keen stirrup
#

hm

stark trench
#

they're both incredibly weak

keen stirrup
#

hmmmm

stark trench
#

that's always been a point of frustration for me

keen stirrup
#

i relate horribly

stark trench
#

my mom will get into arguments with me over why im so opinionated and confrontational and what-not

keen stirrup
#

but then i feel bad for not remembering what they struggle with

keen stirrup
#

my dad’s a take-it-easy guy, even if what predicates that easiness isn’t necessarily rooted in truth

#

avoidant

#

i’ve tried my best to escape the stress complex they’ve built

#

now i wanna be a sociologist

stark trench
flat harbor
#

hi chat

keen stirrup
#

jarvis what does paraconsistent mean

flat harbor
#

ukno like parachutes?

stark trench
#

but really what i mean is that the theory is inconsistent but non-trivial

#

so for instance a set theory can be paraconsistent and turn out to be trivial, such as weber's SubDLQ

#

without the actual underlying logic being trivial

flat harbor
#

theyre strong people

#

theyve lived the rough life and i want to learn more from them

fringe summit
flat harbor
#

i dont know how to ask them though

stark trench
flat harbor
#

or what to ask them actually

stark trench
#

see my interest in this is largely mathematical and only marginally philosophically

#

i think paraconsistent metatheories are genuinely interesting (from a classical perspective)

bronze pelican
stark trench
#

and also i am curious to see to what degree these same theories conserve classical results

bronze pelican
#

🥀 🚬

latent edge
#

Just don't get stuck with bad loopholes

#

(looking at you javascript frameworks)

#

I wish I knew 0 tech and that all my tech brainrot switched to math

bronze pelican
#

I need to learn webdev so I can understand why its so bad

latent edge
#

okay webdev is good at the beginning

ocean harbor
#

i hate webdev

bronze pelican
latent edge
#

just basics of html and css nothing too crazy

ocean harbor
#

dont try it

bronze pelican
#

Yeah

ocean harbor
latent edge
# ocean harbor

this is true in my case. I signed for a job to do c++ programing. They even interviewed me with c++ stuff allat then bro told me to use fucking excel sheets the whole time

stark trench
bronze pelican
#

I think I need to learn C++ honestly

#

For this specific problem

stark trench
#

ill probably pursue this as a field of research in undergrad if i can

bronze pelican
#

Or rust

stark trench
#

its something that has invaded my mind

latent edge
#

I'm more familiar with c++

bronze pelican
#

Ok deltoid

latent edge
#

Yamin do you know Machine Love

bronze pelican
#

Tell me what topl you would use for this problem

keen stirrup
#

lagrangian mecccccccccccccccccccc

bronze pelican
ocean harbor
keen stirrup
ocean harbor
#

yes

latent edge
#

I still find myself humming this song after 10 months

keen stirrup
#

I'm so fucking funny

stark trench
#

but i dunno there's basically nothing atm

bronze pelican
#

Rn im listening to the miku who can't sing songs

stark trench
#

like some of the only basic papers are that of Badia & Weber working in subLPQ_\bot^\implies

ocean harbor
#

I used c++ in arduino project

#

it was fun

latent edge
#

Rust has a good library for CLI

stark trench
latent edge
#

C++ is almost always peak in math stuff

stark trench
bronze pelican
#

Deltoid, I have a large symbolic matrix (matrix whose entries are polynomials on 6 variables) amd i would like to substitute integers in for these variables to get a matrix with integer entries. How would you do this when your matrix takes 37MB to store in a text file?

keen stirrup
stark trench
#

i don't expect to be able to familiarize myself with all the mathematics necessary to do any good work

fringe summit
#

Probably can get more done than I can with plenty of time though

stark trench
#

maybe, well then perhaps i can convince you paraconsistent logic is actually interesting

#

well you already think that

#

but like, more interesting i guess?

#

fuck me

jagged forge
keen stirrup
#

logical EXPLOSION!

latent edge
stark trench
keen stirrup
#

are there logical implosions?

jagged forge
stark trench
keen stirrup
#

logical differential pressure

stark trench
#

implosion is exactly as you'd expect

#

q |- p v ~p for any q

latent edge
#

I guess having symbolic libraries would be good

stark trench
#

i don't need tex for this

latent edge
#

Python has a lot of these

keen stirrup
#

Ah yes just as I would expect

stark trench
#

well it's meant to be dual to explosion

bronze pelican
keen stirrup
#

Eh this stuff is a bit too high-level for me

stark trench
#

the duality isn't formal, i think, though

latent edge
#

I'm not familiar with Macaulay2 tbh

stark trench
#

like for instance Brazilian logic / co-intuitionistic logic is formally dual to intuitionistic logic

bronze pelican
#

So I need a way to do this that does not require loading the entire matrix into memory, which is what symbolic libraries do

stark trench
#

so like the formal dual would be in terms of refutations most likely

keen stirrup
#

i gotta research ts

stark trench
#

da Costa and his students studied and considered dual-intuitionistic logic pretty heavily

bronze pelican
#

I think I need to go back to primitive coding practices and just parse the text file character by character, do operations locally, and write the resulting numbers to an output text file instead of working with the entire matrix as a Sage object or Macaulay2 object, which is very very memory expensive

stark trench
#

there's a good paper outlining what happens if you take the dual of intuitionistic logic with subtraction -> implication + subtraction and eliminate the subtraction, and you get a sequent calculus for this

keen stirrup
#

my neurons are spread thin

stark trench
#

can i send pdfs of open access papers here

keen stirrup
#

i feel like i'm generalizing up into the ether

#

does logic not just come down to

#

Yeah sounds right

#

Yeah observed

stark trench
#

uh no

keen stirrup
#

i don't understand this stuff at all

#

i don't see the point

#

not smart enough, i give up.

stark trench
#

you just don't know the prereqs

#

so you know how like for any lattice i can define a dual lattice and all of the relative concepts are dualized (join -> meet, join-continuous -> meet-continuous, etc)?

stark trench
#

so we can take a logic where we have some rules for implication, for example P -> (Q -> P) and define a kind of formal dual as well

#

so for instance intuitionistic logic is a kind of "proof logic" since it satisfies the disjunction property and first-order intuitionistic logic satisfies various witness properties

#

a witness is just a term that validates an existential statement

#

so like, intuitively i shouldn't be able to say that there exists some x such that P(x) and then be unable to procure such x, whereas in intuitionistic logic this isn't (in some formal sense) possible.

#

dual intuitionistic logic is basically a logic where we obtain a dual operation, subtraction or co-implication which is formally "dual" to implication

#

in a sense we can think about it in terms of a logic of falsification

#

what you can do is start with a logic with both subtraction and implication defined in normal intuitionistic logic, find the formal dual, and then lop off the new subtraction / dual implication to get a dual intuitionistic logic with just implication

#

urbas (the paper im talking about) effectively does this

keen stirrup
#

P -> (Q -> P)

#

ah i’ve been meaning to learn logic syntax

#

mostly just because it looks nicr

#

e

stark trench
#

well its an example of a theorem in classical logic, it's easier to verify if you write it out in words

#

since if p is true, then if q is true then p must be true, since p is always true so the implication can't be false

#

since the implication is only false when p is true and q is false

#

sorry i somehow ended up mixing up p and q, hope i didn't confuse you

#

classically p -> q is equivalent to ~p v q

keen stirrup
#

no i’m listening and trying my best LMFAO

stark trench
#

do you know what that means

#

if you don't i can explain

keen stirrup
#

not in the slightest

stark trench
#

okay so p -> q is p implies q

#

~p is not p

#

p v q is p or q

#

~p v q is (~p) v q

keen stirrup
#

and these are boolean-like guys right

stark trench
#

yeah

keen stirrup
#

p and a

#

q*

#

okay

stark trench
#

so it's "p is false or q is true" essentially

#

now we can use disjunctive syllogism, a common inference rule, to infer modus ponens, for instance

#

modus ponens is p, p -> q therefore q

#

as a word-by-word argument this is

  1. If P, then Q
  2. P
  3. Therefore, Q
keen stirrup
stark trench
#

disjunctive syllogism is the rule that ~p, p v q therefore q

#

in words this is

  1. P is false
  2. P or Q
  3. Therefore, Q
#

this should be pretty intuitive to you, for example consider the example

  1. Eris is at the park or she is at home
  2. Eris is not at the park
  3. Therefore, she is at home
#

this is equivalent to modus ponens for the material conditional, accepting a few other things, since p is ~~p

keen stirrup
#

why must we do that

stark trench
#

we don't have to, it's just sometimes more helpful to think about

#

really the easiest way to think about the material conditional is that it's false ONLY when the antecedent is true and the consequent is false

#

the antecedent is the thing that goes before the consequent

#

so in if p, then q, p is the antecedent

true zinc
#

hey all

stark trench
#

hi

keen stirrup
#

SEE I DID IT

#

proof by feels good

stark trench
#

yes see ur very smart

keen stirrup
stark trench
stark trench
#

to be clear, booleans are semantics

keen stirrup
#

i guess it’s the smallest thing we can have different states of

stark trench
#

yeah, that turns out to be part of the reason

keen stirrup
#

damn it now i wanna be a logician

#

UGHHHHH

stark trench
#

so the idea is basically that when we're reasoning classically, we want our propositions to have definite truth values

#

each propositional variable in our formula will have a definite value of either true or false

keen stirrup
stark trench
#

this is more generally what we would call truth-functional semantics, where our connectives (these are the operators like ->, v, &, et cetera) are functions on the truth values

#

so for example consider P v Q

#

this sentence is just a string the theory, it has no inherent meaning

#

but what we mean by it is that P or Q

#

and then P is either true or false

keen stirrup
#

do we have xor

#

would be sick

#

can devs add this

stark trench
#

yes we can define XOR given enough connectives

#

peirce pioneered usage of the truth table

#

it is often incorrectly attributed to Ludwig Wittgenstein

keen stirrup
stark trench
#

than charles sanders peirce?

#

to each her own

stark trench
#

consider for example this truth table

#

we saw earlier P -> (Q -> P) is classically true

#

we write down all truth values that P,Q can take on

#

we see in all cases the sentence P -> (Q -> P) comes out true

#

hence it is a tautology

#

now im brushing over quite a lot here

#

completeness is what we'd really be interested in relative to some semantics

#

but that's all too much for now

keen stirrup
stark trench
#

so basically what semantics do are equip your formulas with meaning

keen stirrup
stark trench
#

ideally what you want is for, some given semantics, if it comes out to be "true" in those semantics, its provable in your system

#

so you know how we do proofs in math

#

with axioms

#

there are a variety of proof systems which allow us to derive sentences from other sentences, and they have a varying number of axioms

keen stirrup
#

going this high is such a strange feeling

#

disconcerting

stark trench
#

eris i need you to learn like, mathematical logic so we can talk about math while high

#

i used to do mathematics while high but i don't do any drugs anymore

keen stirrup
#

for dunce like me

#

relative to this stuff i’m like a fucking

#

Construction worker

#

Coal miner

stark trench
tough stratus
#

any discrete mathematics book

stark trench
#

terrible idea

#

it's better to just read a textbook geared towards mathematical logic simpliciter

tough stratus
#

wut

stark trench
#

some stuff on the openlogic project is okay

#

barwise is good if you're already a bit familiar with logic but otherwise it's useless

stark trench
#

i don't think he is asking

tough stratus
#

i was not

stark trench
ocean harbor
keen stirrup
#

does it… make sense… to have a sense that this stuff is, like, the beginning?

#

where it all starts?

#

if you know what i mean

stark trench
#

yes it is literally in fact the beginning

keen stirrup
#

i mean in the scope of this entire conversation

#

logic in general

tough stratus
#

In a way

#

it is like a breath before speech

keen stirrup
tough stratus
#

chrew

latent edge
#

Me when $\mathcal{M}w(\Gamma_1(N))=\bigoplus{\chi}\mathcal{M}_w(\Gamma_0(N),\chi)$

fathom swallowBOT
#

Deltoid loves you :3

fringe summit
limpid ether
#

Hi everyone,
I just entered 11th grade and I’m interested in studying JEE-level mathematics—not because I want to crack the exam, but simply because I enjoy the subject.

I started watching the Raftaar series (2021), but it didn’t work well for me. So, can anyone suggest a good series, playlist, or course that covers the basic mathamatics for jee and 11th-grade CBSE syllabus?

I’d like to study slightly beyond NCERT level—maybe up to JEE Mains but nothing too advanced like JEE Advanced.

untold cedar
#

that's insane devastation

bronze stream
#

why i cant msg on other chats

#

they ban me

#

with no reason

stray vortex
#

with the help of a tutor/a teacher

#

Amit m Agarwal's books consume a lot of time though

#

So start as soon as possible.(Considering amazon shipping time and time required to find a teacher)

full lance
#

hi dead chat

stray vortex
#

You will need one more book apart from these two for theoretical explanation(but I don't have any suggestions in mind), because sometimes I too did not feel comfortable with the ncert explanation.

#

I resolved this problem by rereading the ncert explanation

full lance
#

? opencry

#

oh nvm

stray vortex
#

Then, after you have completed reading the portions, solving the examples, completing the exercises and one lesson is over-

#

Officially start the lesson from Amit M Agarwal's book.

#

Try to do as many questions as you can, ask your teacher for help and try to roughly finish the lesson

#

If you can't proceed, immediately ask your teacher for help

#

You will need a teacher even if you're studying on your own

limpid ether
stray vortex
#

You gotta find one

limpid ether
#

Okay...

stray vortex
#

Ask your neighbours and friends who the best math teacher for 12th in your sector is

limpid ether
#

Anything else you recommend?

stray vortex
#

Ncert+Amit M Agarwal+a good teacher

limpid ether
stray vortex
#

It is the standard formula in my opinion

limpid ether
stray vortex
#

Amit M Agarwal is a vast series of books. You have to decide which questions you will dedicate your time to

#

Ask your teacher which examples are good examples to solve

ocean harbor
#

that has helped me by reading a lot books and articles if you basically done this you don't need a teacher often but you can ask for help if needed

#

I'm pretty much they just gonna read your question and go

forest nimbus
#

hi

ocean harbor
#

hi

forest nimbus
#

what is the best way to memorize math formulas

ocean harbor
#

depends on what formulas

#

if you meant hs concepts then just do your best

forest nimbus
#

in general

ocean harbor
#

but it'd be much better if you know proofs

#

it's good

forest nimbus
#

k

#

thanks

ocean harbor
#

also memorizing isn't that good cause you'll forget it later

#

reminds me of my hs calc teacher ngl

forest nimbus
#

okay

#

so like ryhmes will help

ocean harbor
#

not really

#

your best is just know how to use the formula or if you learned the proof

forest nimbus
#

k

#

thanks

amber furnace
#

Hello, is anyone online a helper? I am in 7th, moving into 8th, and I have really been struggling to understand some key concepts. Is anyone available to add and/or be a study partner if I am looking for help? (P.S, I might not be able to respond because my Mac is about to die)

sharp mulch
amber furnace
#

oh, ok tysm

buoyant orbit
#

More specifically, two forms of repetition help with memorization in math:
-Active recall: throughout the day ask yourself what it is you're trying to remember, then write it down from memory. Then check online or with flashcards to make sure you remember it correctly.
-Practice problems: Do a LOT of practice problems. It helps you memorize the process to solve things, but it also ensures that you actually know the full process to solve different problems.

sleek sky
#

how to get discipline

#

i waste most of my time

forest nimbus
#

okay thanks

silent falcon
#

dfs

sleek sky
magic sleet
#

why dont you just derive it

#

from scratch

#

without looking at the actual derivation

#

so that you get a feel of it

queen bobcat
#

And the effort should come in the form of a combination of forcing yourself to sit down and get started, and of thinking about it so much that it feels nicer to just do it than to not do it

#

A huge misconception people have about motivation is that it's something you just summon or magically find

#

But when psychologists ask people what it looks like when they're motivated, they generally say that they just think about the necessary task so much that they're compelled to do it

signal shard
#

hello

queen bobcat
#

Want to read? Every time you waste your time think about the fact that you want to start reading. Think about what you want to read, and what would come of your life if you just read more. Keep doing this and eventually you'll want to read instead of whatever other garbage keeps you from reading.

gray scroll
visual topaz
#

history cannot repeat

#

that's how not time works

old oak
# visual topaz history cannot repeat

Hegel remarks somewhere that all great, world-historical facts and personages occur, as it were, twice. He has forgotten to add: the first time as tragedy, the second as farce.

visual topaz
#

For a philosopher he cares too much about world-historical facts

old oak
small parrot
#

How do you guys self-study reliably?

#

Math is so open-ended in goals at best you follow a roadmap, but actually what to do with the content; I don't want to solely morph myself into a university fiend but actually turning a book into your own thing seems like you have to go into excruciating efforts. It seems impossible to do it well without having a guide ( how do you trust a guide ) or getting lucky with a methodology

solid snow
#

read a textbook

#

do the problems

#

if unable to do problems, look for other exposition on the material

small parrot
#

I do that but it seems like not enough

#

Is there anything else you are supposed to do

solid snow
#

enough for what

small parrot
#

Idk just a feeling

#

Doing problems then reading stuff, it feels like there is more I should be doing

solid snow
#

that is math gameplay until you write a paper

#

but you usually need an advisor for that

small parrot
#

You're just getting caught up?

solid snow
#

yes

small parrot
#

Bruh

#

Ok

solid snow
#

you can apply the math to projects if you want

#

like coding for example

small parrot
#

Ok ok

sharp mulch
#

Many people

rigid raven
#

Hey has anyone struggled with mental health in uni? Im fine now. Just curious if there are others

sharp mulch
rigid raven
#

I did not just remove the message, it was always there 👀

#

How was it for ya if you don't mind?

sharp mulch
#

Well covid ruined my third and fourth years

rigid raven
#

Ruined years indeed. Mental illness does tend to do that.

#

I'm sorry about that. Happened to me too. I had the chance my parents were pretty supportive.

timid bronze
somber saddle
#

Hello!

timid bronze
#

was going through a lot the summer before i started uni

somber saddle
#

I want to make friends!

timid bronze
#

A friendship in particular was rough on me bc we were fighting all the time like once a week and just didnt understand each other (we r way past that time now tho and rly get each other!)

somber saddle
#

I see.

hidden gazelle
#

good luck

somber saddle
#

?

rigid raven
#

Oh that's nice! Always struggled with friends too. Glad youre doing good

hidden gazelle
#

never works out

somber saddle
#

Why does it not work?

potent summit
bronze pelican
hidden gazelle
#

ppl get busy they move on having the same sets of dry conversations over and over suck ass and i can never seem to get any of my so called friends to meet up with me irl tho they somehow always have time for other ppl

#

shit seems doomed atp

somber saddle
#

I'm not looking to meet anyone in real life though.

potent summit
#

friends aren't permanent

somber saddle
#

Usually no I guess.

potent summit
#

you get left a couple of years after being besties

somber saddle
#

Ok.

hidden gazelle
#

its how its seemingly impossible to find anyone new

somber saddle
#

Stop making me sad...

potent summit
hidden gazelle
#

you get busier and busier as you grow up and that just leaves you more and more isolated cuz you can never spare the time to really get to know ppl

timid bronze
#

honestly i think you were just unlucky with who you were around. but i really believe there are kind and genuine people out there

potent summit
somber saddle
hidden gazelle
#

i got a job and school and i sware it took like 2 months of asking to get a friend i knew for like a year to meet me irl ever tho we live in the same city and they go to a uni thats literally a 10 minute walk away from mine

potent summit
timid bronze
#

many friendships last eternity

#

i believe the gems that u find whether discord or not and this comes from someone who used to isolate themselves with social anxiety. as long as u stay in touch with them

#

cuz yea life gets so busy esp if u start a family

#

but like

#

if u can keep that connection and touch thats all that matters

#

and its definitely possible

hidden gazelle
timid bronze
#

u just need the right people

#

in ur life

#

but yes friends definitely do come and go

#

not all stay

potent summit
#

i had 1 person that left me months ago

somber saddle
#

I never leave my friends!

rigid raven
#

I tend to loose friends too I understand your frustration

#

Even people I had deep conversations. And I thought I had a deep relationship

#

Still trying to figure out why

hidden gazelle
# hidden gazelle we went to first year pre uni together they moved to the uni over the street and...

also had a gf for a year ig the honeymoon period wore off so she wasnt interested any more and just want to be friends now

fr i have not seen her irl since
its like noone in my life cares to hang out with me unless i legit cry about it then they do it out of annoyance or pity and then it leaves me wondering if they are even my friends at all

i try to move on but there is no one to go to im too busy to get to know anyone

somber saddle
#

I do lose friends

rigid raven
#

If you want help, I guess what helped me was meds. I became way more confident. But I think it may also have been a correlation with me getting lucky? Idk

#

There's a lot some luck involved I won't lie

somber saddle
#

luck is involved in everything in the real world

hidden gazelle
forest nimbus
#

hello

rigid raven
#

Hello

#

we on some pretty deep shit right now, join if ya want to

somber saddle
#

Hello!

forest nimbus
#

nah

#

pass

rigid raven
#

fine

#

np

somber saddle
#

Ok well it was nice to meet you!

forest nimbus
#

k

somber saddle
#

Well I think friends are still valuable even if they only last a little while

rigid raven
#

Sure

#

But they also said their relationships last a month max. Pretty hard to find value in that

somber saddle
#

a month is sad kirbyFF

rigid raven
#

I've been there and don't think there's arguing with a person that feels that much frustration

somber saddle
#

I see.

timid bronze
#

the friendship u had in a month could be better than the friendship u had that lasted an entire year

somber saddle
#

That is a factor!

rigid raven
#

I guess it allows you to experiment or practice socializing

#

Then sure, yeah, in that case, it is useful. But it won't give you the happy chemicals that you crave, right away

somber saddle
rigid raven
#

:p

warm umbra
#

welcome to the server @somber saddle

#

welcome to the server @neat lintel

neat lintel
#

Huh?

#

Thank you, but i never thought someone would receive me

fresh comet
#

welcome to the mathcord! nachoWaves

forest nimbus
timid bronze
#

@velvet dagger @fresh comet HELPPPPPP apparently this is some uwaterloo meme where engineering students post their transformations from beginning to end of uni

velvet dagger
#

Oh yeah engineering does that to you

fresh comet
#

yeah this is a pretty infamous meme kekehands

velvet dagger
#

Arguably math did that to me

timid bronze
#

u go there?

timid bronze
velvet dagger
timid bronze
#

What u studying

timid bronze
velvet dagger
#

What

velvet dagger
warm umbra
forest nimbus
agile fiber
#

we only get the one id card for 4 years

tame bane
#

Any machinists and doctors in here?

#

I’ve had the feeling of threaded inserts for bones

forest nimbus
#

what are like the fields for good doctors

agile fiber
#

they're like the rings for good doctors but they always have multiplicative inverses

stray vortex
#

What is a ring for a doctor?

#

And what does a physical object have to do with a multiplicative inverse?

wicked mirage
worthy loom
#

Hi everyone!

#

I was doing some homework involving using calculus to determine certain properties of a function (mathematical analysis), but I found when there is a unknown number in the function it just screws my mind 😭

#

mostly because it's kinda confusing for me to draw a diagram

#

how should I solve these kind of problems?

haughty panther
worthy loom