serious-discussion

[glossy crescent]

Why are there no available help channels?

nvm

[storm sage]

there are a lot of ppl who want help

[mint patio]

You can always try a topic discussion channel if it’s open

Just make sure not to interrupt if anyone is having an actual productive discussion or getting their questions answered

[mental stratus]

Jupyter=julia python R

[limpid anvil]

anyone knows a good site for algebra exercises?

[neat lintel]

khan academy

[quasi jackal]

ew python

java > python

[jagged forge]

java 🤮

[quasi jackal]

no

@jaunty fern isnt java wonderful

[jaunty fern]

Java make me want to eat a giant metal sausage in Canada

[quasi jackal]

ew

[jagged forge]

how do u write hello world in java again

[quasi jackal]

well java is fun and games until you get to inheritance and abstraction

that part we're seeing rn is kinda

not good

[quasi jackal]

other than the class and method declaration it's just System.out.println("hello world");

and if you have a good ide it does the class and method declaration for you

[jaunty fern]

why is there that much for one print wtf

[jagged forge]

class HelloWorld {
    public static void main(String[] args) {
        System.out.println("Hello, World!"); 
    }
}

[quasi jackal]

i know that

[jaunty fern]

Python is just

print('thingy')

[quasi jackal]

but ide does that for you

at least netbeans does 😄

[jaunty fern]

ew netbeans

[quasi jackal]

netbeans

[neat lintel]

imagine being this wrong

[quasi jackal]

more like

[jaunty fern]

when was netbeans released

[quasi jackal]

netshart

[quasi jackal]

idk

im using the 2017 version atm

cuz thats what we have to use for our class

[jaunty fern]

imagine I run it on one of the absolutely ancient machines in front of me

[jagged forge]

here's hello world in go:

package main

func main() {
    println("Hello, World!")
}

[quasi jackal]

package helloworld;

public class HelloWorld {
    public static void main(String[] args) {
        System.out.println("Hello World!");
    }
    
}

[jagged forge]

rust:

pub fn main() {
    println!("Hello, World!")
}

[quasi jackal]

brehh

i'd just run it in terminal

[quasi jackal]

ew

[quasi jackal]

ew^2

[jagged forge]

bro drank the java juice

[quasi jackal]

why so much fuss over class declarations

[jaunty fern]

sad no media perms

[quasi jackal]

it helps to have detailed class declaration in object oriented programming

[quasi jackal]

post skye pic in #math-discussion

i wonder if i have gif perms

https://media.discordapp.net/attachments/1078061271712280658/1141332951896965120/cat_emoji.gif

carp

[jaunty fern]

no that's how i get in trouble

[quasi jackal]

breh

i posted meme in math discussion and no trouble

bro suremark is typing a ton

[jaunty fern]

Yeah but a bird pic would be completely random

[quasi jackal]

breh

[jagged forge]

my issues with java are that it requires everything except built-in primitives to be heap-allocated (gross) and also i'm just not a big fan of inheritance in general

[quasi jackal]

well for that i can agree

inheritance is dragging my corpse on the floor atm

and i have to turn in hw for that tomorrow 😭

[jaunty fern]

They should make kids use computers from 1995 in comsci

[quasi jackal]

brehh

time to spend a week figuring out how to make the crappy thing work

[jagged forge]

they do that in college in your os/arch class

[weary sable]

the world is so strange

[quasi jackal]

dang i didnt know colleges had that

the it department in my comm college is kinda L

[jagged forge]

yeah it's standard for a cs degree

[quasi jackal]

oh wow

[jaunty fern]

Good, it's a good idea to learn how to use old hardware and it kind of helps understanding a bit

[weary sable]

i had my first meal in 8 hours and i ate a burger. and 1/3 of a bowl of rice. and some ice cream.

[jaunty fern]

I got to mess around with a laptop from 89 last year and it actually kind of made me understand a bit more how ram works

[quasi jackal]

that resembles what i had the other day in the college cafe

[jaunty fern]

You can boot the OS and take the boot disk out, which you can't really do with newer computers

[quasi jackal]

ew

[quasi jackal]

oh wow

prolly you could figure out how to make the lame ass gateway run more than one app at once

i dont wanna play with it too much in case dad wants it back

[jaunty fern]

lmaoo

[weary sable]

typical university student meal. (i also ate this from my college’s food services)

[quasi jackal]

interesting

[jaunty fern]

the food at my high school somehow dosent taste like the crumbs you find between the couch cushions

[quasi jackal]

lmfaoo

i should clean my mac keyboard soon

its starting to have lots of crumbs in between keys

[jaunty fern]

Does urs have the weird keyboard or is it normal

Like the butterfly keyboard

[quasi jackal]

its normal

i used to put a plastic transparent bag over the keyboard to protect it from liquids

[weary sable]

i want another burger for dinner

[quasi jackal]

but after months it just got uncomfortable to type

[jaunty fern]

Where the keys are extremely low travelling (lower then standard laptop keyboards)

[weary sable]

actually today’s dinner is gonna be 2 burgers and sparkling water and nobody can stop me

[quasi jackal]

brehh

[jaunty fern]

why sparkling water

[quasi jackal]

no my keyboard isnt weird

[weary sable]

because i enjoy drinking it

[jaunty fern]

good cuz the butterfly keyboards are gross

[weary sable]

i can have still water instead

[jaunty fern]

Sparkling water
Metallic water
Or
Matte water

[quasi jackal]

brehh

i like sparkling water sometimes

but mom now thinks it causes calcium deficiencies due to fakebook

so that means i cant have soda at home either

thankfully cc vending machines have saved me

[jaunty fern]

Fucking Facebook I stg

Only good thing that came out of Facebook is marketplace

[quasi jackal]

very true

[bitter aspen]

Using all the numbers What’s the smallest number 5,4,7 and 9 can make that is a even number

[quasi jackal]

no i dont want to math atm

i'll do enough math when i review for crummy exam coming up

[swift sinew]

I’ve got a function f that takes in 4 non-negative integers and outputs one non-negative integer. Interestingly enough, f(a,b,c,d)=0 for all a, b, c, and d. So f(5,4,7,9)=0 is the smallest even number I can make with those numbers.

[jagged forge]

how interesting

@sonic field @storm sage i'm finally playing the natural number game

oops i thought i was in math discussion

that's ok

[sonic field]

yeeeeeeeeh boii

i'ma jump back on it when I catch some wind haha

I'm in function world rn

[jagged forge]

im still a bebe

working my way through addition world

just started

this is awesome tho

i want an interactive theorem prover for probability now

[storm sage]

oooh fun

[storm sage]

I'm sure this is already a thing

[jagged forge]

epic

[storm sage]

in fact I think I know someone who worked on translating a proof in probability to coq/lean

it was for a senior thesis

[sonic field]

man that would fit so well for probability

[pulsar pagoda]

what do u mean by interactive theorem prover?

that sounds interesting

[jagged forge]

google the natural number game

it's a program called lean

[pulsar pagoda]

@jagged forge gonna read a bit about it, remember i wanted to make the intel 8008 in a fpga. Im thinking on making the project spec in TLA

thx

[jagged forge]

woah, that sounds cool

[pulsar pagoda]

it actually makes sense

cause he start by describing clocks

and counters

in his bok

book about it

i mean leslie's

[jagged forge]

yeah, lamport clocks

[pulsar pagoda]

so for example

i have a bunch of circuits i did for a past course

i could pass those to TLA

to get my feet wet

then when their done in TLA i go to the HLS side and start implementing

sort of like showing how a complete lifecycle of development should go

[loud snow]

very cool

[pulsar pagoda]

@jagged forge would u help me pass a qkeras model to pytorch? it doesnt have to be today

[jagged forge]

i've never used qkeras and only have a bit of experience playing with keras, but i'm down

[pulsar pagoda]

when?

[jagged forge]

uhhhh probably tomorrow afternoon cst since i'm going to be busy the next 6 days after that

[pulsar pagoda]

ok

some background

https://finn.readthedocs.io/en/latest/getting_started.html#how-do-i-use-finn

so the phd guy gave me the model in keras

and we used it with another thing called hls4ml

but know they want to benchmark this one

i already setted up finn

so its just the model part

@jagged forge check it out if u have the time

[flint basin]

dandida is active

[jagged forge]

yeah congrats on that btw

[pulsar pagoda]

how do i get that?

[jagged forge]

talking

lol

[pulsar pagoda]

how does it work?

ohh

i should probably get the helper role and try discrete math

since i know a bit about that

[flint basin]

i don't care enough to get helpful role online tutoring was annoying enough when I was getting paid to do it

[pulsar pagoda]

at this point i wouldnt complain doing online tutoring at all

still trying online tutoring people with no experience doing it is sort of anti ethical

or so it seems to me

[flint basin]

it's just kinda... meh? annoying/boring? At least that's how I felt at the place i was working at, but I have a few gripes with them so

[zealous garden]

Green is a very special technique

It's not for everyone

Even if you unlocked the form, who's to say the power would befit you

[deep mango]

i want it

someone gimme

[open aspen]

They took mine, you can have it

[long matrix]

maybe if u bribe with a ||chu~||

!helpful

Bot
Please do not beg for the helpful role. Maybe get off your lazy ass and do some sht for once!

[hasty peak]

what is that

[deep mango]

[hasty peak]

that looks like something you would write

[long matrix]

10 hrs ago when the help channels were being drowned

>no sign of ryc

no available help channels

[hasty peak]

yeah it was packed

[deep mango]

I don't care

[young quartz]

hey ryc

[fringe summit]

Mood

[mental stratus]

[agile lance]

I’m a high schooler, and I’m self studying abstract, how do I show admissions that I’m not just messing around for this semester?

Also, on a side note, Jacobson is so hard to read, maybe I’m just stupid or smthing but it’s been a week or two and I’m only 40 pages in.

[long matrix]

well if uve claimed u self learned or read up on stuff

theyll probably quiz u on it

have actual references u can claim uve read. this book that book, whatever

and be specific with what big theorems/things uve covered

and make it clear (/be convincing in your communications with them) you have understood their proofs

eg. say uve done exercises? im not sure whats the best way to demonstrate convincingly through a statement tbh.

"ive done all the exercises and chapters up to X in Y book." sounds more convincing than "ive learnt Z subject."

[agile lance]

Well, I’ve got like 150 words to do that ig 🤷

[agile lance]

How will they quiz me on it? I’m probably gonna submit an application through common app, do they just do an interview afterwards or smthing?

[long matrix]

thats institution dependent.

[agile lance]

Ok 👍

[long matrix]

a letter of recc always helps

also

if thats possible.

at a highschool level, likely not, but saying in case

[agile lance]

I’ll burn that bridge when I cross it

Hopefully

[teal lion]

I’d look up the preliminary exams for the subject you’re studying, and use those as a benchmark

[agile lance]

😋 tests (I suck at them, hell, I still don’t have a solid grasp on symmetric groups)

[long matrix]

what about them

permutations are bijections from sets to themselves

[agile lance]

No, not the symmetric groups, I suck at tests

[long matrix]

given a set, the set of all those bijections form a group. which is the symmetric group

ah

i meant sym

[agile lance]

But like, there was a time where I found like 36 elements for a symmetric group on a set of 3-tuples

[long matrix]

like if u understand this, things u could do are look at examples of Sym(X)

🤨

so permutations of the tuples?

well yh its gotta be n! for finite

[agile lance]

Like I drew a hexagon where each point was a configuration for a permutation of 3 things like abc

Then I counted all the edges and diagonals

[long matrix]

im not following u

[agile lance]

So like, say I’ve got a set of 3 things in order

Then all the possible orders is 6

[long matrix]

{a, b, c}

alright

[agile lance]

So then draw those out as a hexagon where each point is an ordering

So then to go from one ordering to another, that’s a map, so count all the ways you can go from one dot to another

[long matrix]

hexagon...

[long matrix]

whats your end goal, i dont follow

[agile lance]

Count all possibly maps?

Possible*

[long matrix]

im misunderstanding u, or i think u r

Sym{1,2,3}

is all the bijections from 123 to itself

what uve written sounds like Sym(Sym{1,2,3})

to me

like why r u taking the 6 elements of sym{1,2,3} and then considering maps from each other or something? i didnt follow

===
r u trying to write down the cayley table?

[agile lance]

Oh, I though that the 6 elements where basically all the endpoints and start points for a map

[long matrix]

there are 36 ways to combine 2 permutations, i v much agree

no each permutation is already a map which is an element of S3

for example:

1 3 2

this might (bear with me) be me saying
map 1 to 1
map 2 to 3
map 3 to 2

thats one example to "interpret" 132

conventions differ though, and there are several notations involved

dont confuse with cycle notation which is different from above

but if we re talking about the ordering of your set

123 132 312, etc

[agile lance]

(1,2,5)(3,4)?

[long matrix]

then its this

cycle notation is a shorthand

so
3 goes to 4
4 goes to 3
1 goes to 2
2 goes to 5
5 goes to 1

is the convention im used to

for that cycle

[long matrix]

for this, itd be (2 3)

But yeah, so that 36 u were refering to

that sounds like the cayley table

familiar with those?

[agile lance]

Nope

I saw it briefly on a paper in passing

[long matrix]

ok, worth looking up, fairly simple

its like times tables

but for groups

for a * b, you have 36 choices for a and b

for S3

thats the 36 different ways u can choose 2 elements to be composed

(since groups are generally not abelian a*b is different from b*a usually)

[long matrix]

and then you can check out what the outcome is for each case

but no, thinking about "mapping permutations to each other" was a wrong idea.

"combining permutations with each other" is whats going on in the group

combining permutations, ie. composing functions

[agile lance]

Yeah, I think it also over counts cause it assumes 123 to 123 is different from 312 to 312

[long matrix]

well its wrong as in, those words dont make mathematical sense to me

youre mapping elements of the set to each other

thats 1 2 and 3

youre composing permutations with each other

you can represent each permutation as an ordering of 1 2 3 if u want, but thats actually not so helpful usually, compared to cycle notation

[long matrix]

like i still dont follow the train of thought behind what ur tryna do here (i dont think it makes sense, and ur misunderstanding where "mapping" is relevant in a symmetric group)

---

Sym X := {all the bijections f : X -> X}

[agile lance]

Ig my idea of maps as a transformation is messed up,

[long matrix]

we usually use "map" and "function" interchangeably, say

(unless your context states explicitly otherwise, like it might in topology)

and bijections are bijective maps (or bijective functions)

A function is bijective iff it has an inverse function

[agile lance]

I think it was something like “find all the possible states of the set, then all the ways we can go from one state to another is all the maps”

[long matrix]

You can undo this process.

[long matrix]

Nope.

The set is inherently unordered

[agile lance]

I thought it was a permutation

[long matrix]

One way of viewing the maps themselves is a reordering of a default order {1, 2, 3}

no, you can throw your understanding of the word "permutation" from combinatorics out of the window

[agile lance]

Oh, so it’s like “ordered” from well ordered set

[long matrix]

And focus on its definition as " a bijective map from a set to itself"

[long matrix]

inherently, we dont have to talk about order at all

we can talk about the order of 1 2 3 as one interpretation of a permutation

since it say maps 1 to 3, 2 to 2, 3 to 1
We can view this as a reordering of the ordered list [1, 2, 3] into [3, 2, 1]

But thats not a necessary "view". Its one u use in combinatorics

Because in general, your infinite set may not have a natural order on it. But we can still consider bijections

for example bijections of R^2, the plane. An example is rotation of the plane. Another is reflection. These are bijections mapping the elements which are (x, y) coords

[agile lance]

What’s natural order?

[long matrix]

natural in a handwavy sense

but lets say an order u usually impose on the set

im saying theres no need to involve order at all

take the R^2 example, it wont make much sense to

[agile lance]

Ok 👍

[long matrix]

Or if ur representing your set as vertices of a regular polygon

Theres also not much sense in talking about an order of the vertices

[agile lance]

Would R be different?

[long matrix]

i mean, yeah, R has a natural order on it

the usual one we use

and you can think of permutations shuffling around this order but like

not much use of considering this, usually

In fact, in math, we re usually more interested in things that preserve order (or more generally, some structure)

as opposed to messing it up

So back to S3. hope that clears it up

[agile lance]

Yeah, thanks for your time 🙏

I appreciate it

Cause the last time I went to stack exchange, some guy blasted me to high he’ll

[long matrix]

people r happy to talk in #groups-rings-fields about these things

too

and wont blast u, usually.

[agile lance]

Thanks, gn

[fringe summit]

Weird

[long matrix]

its se

[teal lion]

I went to stack exchange and used it to talk about undergrad admissions in the academia spot.
It got closed, but I met Paul Garrett through it

also learned about simon’s rock

they took pity on me

[long matrix]

i feel like there should be an SE where you could legitimately ask some questions on the topic

[agile lance]

I asked a stupid question on multivariable and this guy was just out right “you’re wrong” says like a sentence about vector fields, and leaves

Like, yeah maybe the outright “You’re wrong” is a bit harsh but deserved, but like, at least address the question and why it’s stupid

Anyways, i should actually sleep, it’s like 2:30 am rn

[long matrix]

Your question was closed. Reason: Too broad.

[solar hawk]

What was the question, if you don’t mind me asking (leave this until you wakies)

[past willow]

me neither bro we're in the same boat it's not efficient and it's hella weird

[teal tree]

i'm far too scared to post anything on MSE or MO

the entirety of my maths education rests on brave souls posting on MSE or MO before me

[long matrix]

ngl they have guidelines and if u stick strictly to them, downvotes shouldnt occur

ofc, its very easy for an asker to fail to find the duplicate but i still ask

and theres nothing wrong with being closed if ur being linked to a genuine dupe

[long matrix]

in practice tho

[neon elk]

Can someone motivate me to study. (Just write "study" and I will study). Help much appreciated.

[burnt ledge]

Lmao i never understand this

@neon elk study

[neon elk]

Ok. Got it. Tnx.

[river moon]

doing some bayesian classification

[burnt ledge]

how come theres a second brown region disconnected from the first, with no points in it

[peak tide]

probably reflects the narrowness of the distribution of blue data in that direction compared with the orange - if there did turn out to be a data point over there it would be more likely to come from the orange distribution

[river moon]

this is where the probability distribution for class 3 happens to have largest value

or class 2 depending on which region you're referring to

[storm sage]

someone I know worked on a project comparing how humans and neural networks apply occam's razor in this task

[sick kite]

I just read the new chapter 5 of axlers ladr and it's so much better than the one I have it hurts

[deep mango]

What's different

[sick kite]

He's just way more thorough

[deep mango]

Which is chapter 5 again?

[sick kite]

Eigenvectors and stuff

[deep mango]

Oh, it's good for that to be thorough

[sick kite]

Yeah, in the 3rd edition he kinda half asses it tbh

So I bought Hoffman and kunze to supplement lol

Because it really is a dreary chapter

[storm sage]

Hoffman Kunze is great :)

[mental stratus]

mid

[hollow junco]

If p equals the number of numbers, n equals the sum of the numbers, f = first + last number, and p is an odd number in x + a + b +... and
An answer for n can be found with f(p-1)/2 + n/p = n
I was able to simplify it to the well-known equation fp/2 = n

[uncut socket]

@fickle glen For context btw, that rude person we were talking about in #help-39 basically the q was find the x intercepts of the function (a quadratic). The function was a bright orange curve, and I was asking them where does the orange curve cross the dark black horizontal line (because the axes were darker than the grid lines) and they were saying that they didn't understand it

[fickle glen]

Oh

And they became rude?

Because they didn't understand

[uncut socket]

Pretty much because they wanted me to do it for them

[fickle glen]

😂

[uncut socket]

Like they asked for the answer and I said no

Then asked me to mark where it crosses

Like it wasn't a hard question

There was clearly one orange curve and one dark black horizontal line

[fickle glen]

I don't understand how they don't realize that does squat for them

Just getting the answer

[uncut socket]

And all I saw asking them to do was mark the places where the orange curve crosses the dark black line

[fickle glen]

It's the same thing as saying you have no idea how to solve linear equations, get an equation 2x - 4 = 0 and just ask for an answer, and they give you x=2.

You most likely won't figure out how they got 2

[uncut socket]

It was basically like this

mark the places where the orange curve crosses the dark black line

[fickle glen]

Very professionally drawn graph

😂

[uncut socket]

Tbh I don't know how this was confusing to them

[fickle glen]

¯_(ツ)_/¯

I don't know, maybe we have the wrong perspective

[uncut socket]

Where does the dark black line cross the orange curve?

[fickle glen]

If someone asked how much is 2^3 when I was 6 years old I wouldn't have a clue

But now it's the easiest thing in the world to answer

Conclusion: maybe they are 6 years old

Explains the tandrum they tried to pull

[uncut socket]

This is significantly more difficult, the words orange curve crosses black line, mark points should have been simple

[fickle glen]

Yeah I know, bad example

[cold mural]

Anyone knows a little physical chemistry here ?

[fickle glen]

Just wanted to hide a joke in it

[cold mural]

?

[uncut socket]

Check #old-network

[cold mural]

Kk

[fickle glen]

I have to say this dark blue role color is absolutely magnificent

[uncut socket]

You become light blue later

[fickle glen]

Oh I see

I like this more though

😦

Can't be too active then

I like how I've sent 1.607 messages in the 6 days I've been here though

[jagged forge]

i’m a light blue enjoyer myself

[agile lance]

I was misunderstanding divergence and was confused about how the formula accounted for vectors that are not directly orthogonal of the point (excuse the bad phrasing)

Like for example, say I’m on R^2

I got a point, and the partials calculate the flow into the point.
Partial of x component w/ respect to x finds the change from the left of the point to the right of the point, and the other partial is for the y part.

What about a vector that’s diagonal of the point, like something that starts at (h,h) while calculating divergence of (0,0).

(h,h) won’t be directly in line with the change that the partials calculate so I was kinda lost

[mental stratus]

[agile lance]

But then I realized I’m probably misunderstanding something, meh

Oh, here’s the link btw

https://math.stackexchange.com/questions/4716399/divergence-formula-compensating-for-vectors-that-are-not-orthogonal-of-the-test?noredirect=1#comment9989411_4716399

[storm sage]

@fringe summit I have now learned what heyting algebras and kripke semantics are

I will be unstoppable

this is so interesting

[fringe summit]

Nice

Idk how heytings work too well

[storm sage]

I don't either but now I know the definition

[fringe summit]

Intuistionistic & modal logic learning mf

[storm sage]

there's a Gödel Löb logic??

[fringe summit]

Heyting look like Boolean algebra-y right?

[storm sage]

Gödel has too many things

[storm sage]

yea except with suckier complements

because you don't get A join complement A = T

[fringe summit]

yee

Intuistionistic

[storm sage]

[fringe summit]

I forget if they have to be commutative

Non commutative logic time

[pulsar pagoda]

ehhh

[fringe summit]

I forget how the kripke frames work, but funny diamond phi iff funny exists v where phi is true on v or something?

[pulsar pagoda]

funny diamond

[fringe summit]

I forget how the possibility/necessity ones work

[pulsar pagoda]

wtf

is this?

[fringe summit]

Kripke semantics for modal stuff?

[pulsar pagoda]

is this from a grad math logic course?

[storm sage]

box A means that A is provable from PA

[fringe summit]

I wouldn’t know there’s none here

[storm sage]

I'm just attending a presentation

I wish I were taking logic rn

[fringe summit]

What was necessity, necessity phi true in w iff phi true in all worlds with w R v?

[pulsar pagoda]

@storm sage is there a lack of people here than can handle graph theory?

[storm sage]

yea smth like that

[storm sage]

what lol why

[pulsar pagoda]

well i got to 2 helpers that dont manage it

[storm sage]

yes

[pulsar pagoda]

just wanna know if its a good topic to take

so i can get the helper role

[fringe summit]

Possibility should be true in some v w/ wRv

[storm sage]

I'm confused

you can self-assign the helpers role, #info

[pulsar pagoda]

lol

[fringe summit]

Just take the helper role

[storm sage]

possibility is just not box not :^)

[fringe summit]

Gg maso fr

[pulsar pagoda]

also stuff on graph theory is so nonstandard

[storm sage]

nonstandard........................

[pulsar pagoda]

i have like 5 books on discrete math

and their notation is all over the place

[fringe summit]

Idk heyting algebras unfortunately, but they should arise essentially as the “Boolean algebra” of a non-LEM logic’s propositions

[storm sage]

yea exactly

[fringe summit]

Boolean algebra valued truth table

[storm sage]

intuitionistic logic needs infinitely many truth values

by Gödel

apparently

[fringe summit]

Yeah because otherwise start doing a bunch of complement & such and you’ll have issues zig-zagging around

Till it’s essentially got LEM

I think

[storm sage]

neat

[fringe summit]

That’s the rough idea I can think of anyway

Idk how to fill that out

Ofc you can just slap some ultrafilter-y thing and do a hom into {0, 1} :^)

LEM time

[fringe summit]

What on

[storm sage]

apparently you have classical logic = IPC + LEM = IPC + at most 2 truth values < IPC + at most 3 values < IPC + at most 4 values < ... < intuitionistic logic

if I typed that right

(IPC = intuitionistic logic)

[fringe summit]

< in what sense?

[storm sage]

uhh

[fringe summit]

IPC = intuistionistic logic
Somebody needs to explain to the presenter how acronyms work

[velvet dagger]

The correct notation in graph theory is... mine @pulsar pagoda

[fringe summit]

Is it like there’s genuine differences or smth

[pulsar pagoda]

i wish

hahaha

[velvet dagger]

Your wish is granted

[storm sage]

I'm guessing x < y means x is stronger than y

[fringe summit]

I also might be completely insane on this remark btw, but I think something adjacent to this is reasonable?

[storm sage]

might've messed it up to be x > y o rsmth

[storm sage]

intuitionistic propositional calculus

[fringe summit]

Real

Ye I expected as such

I’m just doing a little trolling

Genuine full IL is fairly weak

Can’t even really turn connectives into each other

[pulsar pagoda]

https://tenor.com/view/spider-man-uncle-ben-with-great-power-comes-great-responsibility-its-true-just-saying-gif-24193883

[fringe summit]

But then you just like, pass A to -A and suddenly it’s classical logic or wtv

[velvet dagger]

n is the number of vertices, m is the number of edges, chi is the chromatic number, A is the adjacency matrix

Graphs are always k-regular

[storm sage]

I also learned what the difference between hilbert and gentzen systems are lol

[pulsar pagoda]

some authors dont even care about the adjacency matrix

k regular means the degree of their edges

[storm sage]

real, you only need the laplacian

[fringe summit]

So IL is viewable as adding extremal non-decidable predicates

[velvet dagger]

Yeah, like if you give me a blah regular graph

You must denote blah as k

[pulsar pagoda]

tell that to electronic engineers using sparse data structures

[storm sage]

wdym?

[velvet dagger]

For k-regular graphs they're basically the same

[pulsar pagoda]

sometimes idk if im actually qualified to help in some of this channels

like they ask a question

and i remember something that i saw in a book that explains it

but im not familiar with it so i study it for next time

xD

[velvet dagger]

~ means adjacent

Or I guess in particular, v ~ w means v is adjacent to w

~ can also mean asymptotically equivalent when applied to sequences

\cong means isomorphic

(Take notes people the snipers will know if you deviate from this)

[fringe summit]

Take an intuistionistic predicate A, then send it to -A

Now - - -A -> -A

Suddenly it’s classical again

So you have some extremal things A which are not of the form -B for any B

[storm sage]

ahhhhh

okay so you're saying that there's a copy of classical logic inside intuitionistic logic

I think I've heard of this before

[fringe summit]

Ye

[storm sage]

why does - - - A -> - A?

I'm guessing there's an easy deduction that I'm missing

[fringe summit]

Yeah idk it offhand but it’s not bad

[storm sage]

hmm okay I'll think about it

[fringe summit]

(((A->0)->0)->0) -> (A->0)

Obviously the reverse is sensible because A -> - - A

But that forward one is doable by some function shenanigans I think

||f:(((A->0)->0)->0), and take x:A, then let x’:((A->0)->0) be the double negation image of x, then f(x’):0, so therefore A->0||

[fringe summit]

But not only is it a copy of classical, it’s a copy which you can reach with a single lil connective and it’s associated structure

So it’s like propping your non-decidable propositions on the outer edge of the ball of your structure

[storm sage]

so cute

I like that

[fringe summit]

In fact, you have a map pointing from each non-decidable A into the CL thing

A -> - - A

Things pointing out of the classical hull into the non-decidable extremal points might look a bit odd

Can those exist?

[storm sage]

wdym pointing out?

[fringe summit]

Like, -B -> A, where A is not classical-y

[storm sage]

I'm confused, you're just asking if there's such a map? does it have to satisfy certain properties

[fringe summit]

I’m asking if you think there should be maps both to and from decidable (classical/LEM works) propositions where one side is undecidable

Or any sorts of conditions or properties you can ascribe to em

[compact gulch]

i have a math competition tomorrow

can anyone give some advice

[sick kite]

Chill out

[static belfry]

take your medication in the morning

[compact gulch]

what meda

what

i dont think im on meds

[static belfry]

oh no you forgot your short term memory loss meds again

[neat lintel]

List out all the topics you need to know.
Practice every topic.
Any topic you had to think about you should relearn.

[pulsar pagoda]

based advice

[zealous garden]

Based

[violet coral]

why is there no accounting math section

[craggy gust]

[neat lintel]

#prealg-and-algebra

[violet coral]

accounting is not preslgebrs

algebra *

[storm sage]

what

[white spindle]

that is the SHARK atm in the research station (reused asset)

[neat lintel]

It is

The math you need to know to get certified as a person who trains people in the financial market(principals) is elementary/middle school math

Where does the equation $F_g = G\frac{M_1M_2}{R^2}$ come from?

[fathom swallow]

What should I do: Physics

[neat lintel]

It super similar to $F_E = k\frac{Q_1Q_2}{R^2}$

[fathom swallow]

What should I do: Physics

[jagged forge]

i am not sure why inverse square laws happen so frequently, but wikipedia has this to say

but that doesn't explain why it's also proportional to M1/M2 and Q1/Q2

[white spindle]

technically the root of gravity is measured impulse with slip, with an impulse that is measured bidirectionally and slips according to pair slip, and accumulatively, total impulse is preserved - this naturally gives the Beckenstein bound when too long an impulse is given, and also naturally gives energy=gravitational mass because the effect of energy increases positive slip...

an inverse square law is the effect of a unitary group of gravitons, or rather any bosons, which transmit the impulse of gravity to a specific Higgs effected fermion... because particle slip is determined by 1-D particles, the graviton impulse, and space uses accumulators to create 3 dimensions, naturally particle paths follow Brownian motion in all directions because of the fundemental uncertainty of impulse and the implied tight tolerances of a unitary group of gravitons which give a steady state energy to the system but as said earlier slip which occurs in global packets means that both at the graviton level, energy is preserved, and at the Newtonian level, energy is preserved, here because the global impulse energy of the system occurs accumulatively and there is only introduction of initial energy into the box - this does not preclude cosmic inflation and dark energy because this is the creep of fuzzy slip which is happening at large levels that leads to nonlinear high impulse energies and cosmic inflation due to relativistic effects related to information at the bound of the system's communication...

[storm sage]

Let's start first with sound waves because they're more intuitive. If you have a speaker, a certain amount of energy is going through it each second, so it has a power P which it emits into all the surrounding air. At first, the power is highly concentrated at the place of the speaker, but over time, it spreads out. You can imagine it going out in concentric spheres. It starts as a sphere with very very small radius, then gradually expands. As the sphere grows, the area of the sphere is 4 pi R^2, but conservation of energy tells us that the same amount of power has to get spread over the entire area of the sphere. Thus, when you are R away from a sound source, the sound intensity you hear is P/(4 pi R^2), giving you an inverse square law I ~ P/R^2.

Just thinking about this in terms of the sound intensity, it looks qualitatively a lot like the electric field or gravitational field around a point mass. Except instead of power, you have something like charge or mass which is an instrinsic property of the matter.

[storm sage]

I have no idea what you're saying

[digital kite]

guys

can anyone help please

[storm sage]

!help

[quasi jetty]

To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.

[white spindle]

soo, what u got is like 54 shortcut access from your frontier and 28/27/17 from the individual ships and that is repeatable every time they are called

[storm sage]

So uh, this is a channel for talking to other people, and the stuff you're saying is honestly incoherent

I have no idea what you're talking about, and I don't think anyone else does except for you

Please stop

[white spindle]

hey well you can see best in the link for wow what i am doing there

[ocean harbor]

bro tryna scam us lmao

[white spindle]

there is a place to explore in explorer which rarely you see exploration in explorer

*all those links but the spaceship you can explore, spaceship are demonstration of copyright enforcement chain where we keep a signal as itself through various encryption

[storm sage]

Are you talking about a video game

[white spindle]

yes, these are a lot like a video game

like a video game for the blind, with explorer and navigator

there is the AUDIO SCREEPS which everything is based around AUDIO SCREEPS

[spice crystal]

erm

[storm sage]

Yeah, I'm gonna say stop talking about what you're talking about if none of us have any idea of what you're talking about

[white spindle]

well im gonna get back to work now, just posting in case anybody is interested

[neat lintel]

bro is fighting something

[neat lintel]

They should had added aliens into starfield

[loud snow]

i just assume it has something to do with whatever being modeled involving spheres

[jagged forge]

how does gravity involve spheres

[loud snow]

i really have no clue

ig u can model the set of all points a fixed distance away as a sphere

and as the fixed distance gets smaller, so does not gravity

also if u have a solid sphere and you have a quantity directly correlated to a patch of surface area, then as you reduce the radius the surface area gets smaller

so the quantity needs to adjust inverse squarely to conserve that quantity

[obtuse juniper]

Do !solution and other !commands work in #1021175428326633542 ? I can't seem to make it work

[fringe summit]

The way the links are spaced

Could never be malware with how much they’re avoiding making them hyperlinks

[storm sage]

you can think of the gravitational field strength dissipating out as the area of the sphere grows larger

similarly to how the sound power dissipates out resulting in lower intensity ~ 1/R^2

[storm sage]

Not currently, the forum is undergoing active development

Which means I don't think the bot commands will be ready anytime soon :(

[obtuse juniper]

Okay ! Thanks for the confirmation, I thought I was doing something wrong haha

[storm sage]

nope haha

[pulsar pagoda]

@storm sage any recommendations for operations research and DE?

[storm sage]

I have no idea

Sorry

[pulsar pagoda]

ok

[storm sage]

Try asking in #book-recommendations

[loud snow]

there is a cool problem

called the partition problem which is related to the birhtday problem in probability

you should look it up if you have some time

[pulsar pagoda]

so i hear multiple instance of the same elements, multiple sets and partitions

[loud snow]

https://en.wikipedia.org/wiki/Birthday_problem#Partition_problem

this is how it was first introduced to me

[pulsar pagoda]

is this frequentist?

seems like it

[loud snow]

i dont know how those perspectives apply here

i only think of those in terms of statistics or if you are sampling from a space

otherwise i dont know if frequentist applies to this situation

[pulsar pagoda]

aproximation by the taylor series

few

that scalated quickly

[white spindle]

hey update peeps i got my Atari pong fixed, there is the thing is that people did not want me to link it here but trust me, got that pong fixed up, now you got a modern interpretation of pong, bullet hell or asteroids/geometry wars where the player gets lanes of targets and has to fulfill them, basically like a 1HZ rhythm sequencer with pong at the edges- very much maybe like a metropolis or another sequencer, but pong- specifically what was fixed was the swapping of lanes and the progression of the ball which was specifically fixed today!

[fringe summit]

[loud snow]

nice!

you should showcase a video on youtub

[storm sage]

alright quit posting random dropbox links here

we don't allow links which resemble scam links here

[white spindle]

hey i hope u got that real quick cause u were here and it was deleted

ha i know it RESEMBLES that but it is totally legit

[neat lintel]

[white spindle]

hey presumably u should know that pong uses a collosal crystalline chorus in it, so is as valuble as amino acid 1$ a molecule

that uses ah 28 colossal crystalline chorus for 14 lines of display, and has a bounce depth of 4 where it will bounce off the wall

[neat lintel]

What about the Borel sets

[white spindle]

huh that is what people use to access eyefind correct

[neat lintel]

correct

[white spindle]

i DO have some of those, a boson demo and a gameboy camera

it is real easy to access a borealis set jit.world world toggle world jit.playlist toggle playlist DROP eyefind.mov jit.playlist... then have something else canon Einsteinian set that u navigate and hear with...

the difficult part is that eyefind.mov yea it comes from weta studios

[storm sage]

I'm genuinely concerned about you, are you okay

[white spindle]

huh i am on planet lamictal near a lamictal vent

[tropic forge]

we live we love we lie

[neat lintel]

Wow! I didn't know that before. But now that I think about it, it's so obvious

[white spindle]

yea cause ambient agent is actually humint behind any library, he is lurking behind any code

[weary sable]

lamictal

[neat lintel]

true, you gotta watch out

[white spindle]

ha u guys are so distracting lemme get back to work

[neat lintel]

Don't forget. we eat hot chip

[weary sable]

awe he sounds like me

[tropic forge]

🤑 🤑 🤑

[fringe summit]

no malware allowed

[weary sable]

someone hasnt been taking their lamictal

[weary sable]

i love hot chip

eat hotchip

[jagged forge]

i used to take lamictal

[weary sable]

theyre shaped like little cute shields

[loud snow]

oh shit he is schizo

[jagged forge]

mine were just cylindrical pills

[loud snow]

i didnt even know sorry for stiring pot

[zealous garden]

Me too

[weary sable]

i didnt try lamictal because of the potential rash

[jagged forge]

hmmmmm what’s an appropriate emote for this occasion

wait wtf is that

[zealous garden]

What the fuck

[jagged forge]

[zealous garden]

Why was that so creepy

[jagged forge]

i do need a hide the pain harold emote tho

[weary sable]

this is so silly

[jagged forge]

did u see it

the gif i posted

[weary sable]

naur

i didnt see

[jagged forge]

what are you reacting to then

[weary sable]

im looking

[fringe summit]

I didn't

[weary sable]

oh youre saying what is an appropriate emote

and i said this is an appropriate emote for this situation

[jagged forge]

https://tenor.com/view/herold-gif-24249361

[weary sable]

[jagged forge]

i thought it was just a regular picture of hide the pain harold

[fringe summit]

https://tenor.com/view/dog-back-dog-golden-retriever-back-golden-retriever-scared-golden-retriever-disgusted-gif-26048691

[weary sable]

oh hi

[jolly junco]

I'm going to take the TMUA by the throat

I hope

I do the hard parts of questions just fine and then fail horribly at factoring a quadratic form

[neat lintel]

goodluck

[jolly junco]

Thanks

[blissful verge]

wsup

[neat lintel]

Why my classmates gotta be like this

[echo tundra]

BRUH

are you evaluated from 1000?

[hidden isle]

LOL

[shy flax]

https://novel.link/share/t.html?p=m89a4DKj_c_c

[burnt ledge]

HAHAHA

are you real

why is INDIAN capitalised like that

[long matrix]

#rules no advertisements here, and certainly not relating to paid services

[sullen ivy]

Ni hao

[golden bane]

I there a symbol mean:
1+2+3+4.....n

like n!=
123*4.....n

[long matrix]

n(n+1)/2

[golden bane]

yeah, but does it have symbol like factorial exclamation mark

[long matrix]

just define one. no standard

since it has a simple closed form

,,\sum^n_{i=1}i

if u like.

[weary sable]

RAWR

[topaz trout]

Which class

[neat lintel]

triangular

[proud olive]

$\lim_{n\to \infty} \frac{n(n+1)}{2} = -\frac{1}{12}$

[fathom swallow]

edwardborn

[neat lintel]

so true

[tulip ferry]

Does anyone here understand stereometry?

[teal lion]

This is cursed

[long matrix]

expand apply the quadratic formula and see how much more cursed it gets

6nn+6n + 1 -> 0

[proud olive]

$\lim_{n\to \infty} \frac{12}{6n(n+1)+1}$ does not exist

[fathom swallow]

edwardborn

[proud olive]

But only if it's 12 in enumerator and 6 in denominator

Otherwise it evaluates to 0

Due to the famous numberphile identity

[weary sable]

rawr

[teal lion]

Do you listen to “I love rock and roll very often?”

Ah, what am I saying, of course you don’t

[weary sable]

Actually i dont

I sung that song when i was in like 3rd grade with my class for the music showcase

And that’s how i discovered that song

sergelangfan42069

If i ask nicely, would i be able to have a piece of your kidney

Please?

@teal lion answer please. i want kidney

[teal lion]

not my kidney, but I have connections

[weary sable]

Ah okay that’s understandable

Connections from where?

Who are said connections

[teal lion]

that’s a secret

[weary sable]

Secrets

secrets secrets secrets

Do you want to know a secret?

[teal lion]

I value my life and income, not revealing them

sure

[weary sable]

Hm let me think of what secrets i have

The secrets of the universe

I unlocked the secrets of the universe with my friend the other night

We went to the on campus playground at 3 am in the morning.

And there are swings that you can lay down on. and we swung in unison and i explained the Secret of Life

i think the secret of life is that we’re all human after all

that we all have our vices. and that we judge each other for our vices. But in the end, the thing all humans want most is to be Understood

vices vices vices

Another part of it is that there are some things that we will never understand even if we try our very hardest. and that’s one of the secrets of life

And i unlocked this as we layed down and swung in unison in the middle of the night and i just talked and talked and talked

[neat lintel]

I like rock music as well.

[normal pulsar]

what is 15 divide by 8

[weary sable]

#❓how-to-get-help

[weary sable]

Me three

I dream every single night

Whenever i close my eyes i dream

Even if i just close my eyes for a nap

I dream

[little vine]

I think you could be a good creative writer if you worked on it. I was engaged up to this point.

I was expecting something more profound tho

[vocal vessel]

So… only the first sentence?

[little vine]

Yeah hahaha but this person seems like they could harness whatever it is if they worked at it

[weary sable]

I have a lot more things that are more profound

I have a lot of thoughts in my brain

My brain is never really quiet honestly

[little vine]

Don't say the simulation though

[weary sable]

No matter what i do I always have something going on in my brain

25/8

There is no gap between sentences

Every sentence is followed by another one

[little vine]

Yeah I've felt like that before too

[weary sable]

I write a lot i write all the time. I wish i could show you my notebooks

they’re filled with my writing

I like using my hands to write

I feel more connected to Me when i use my hands to write as opposed to typing

Another reason why i think people who take notes with ipads are lame

Use notebooks and paper!!! Stick to your roots!!

Computers are taking over humans!!!!

Don’t let it happen

I share my poetry and writing with my friends and they like it. They also say i should be a creative writer

[weary sable]

I used to think that i’d do a career in creative writing

But then i changed to chemistry

I have a lot of careers i’d like to do but i only have limited time on this Earth

And so i believe in a way that maybe i’ll get to try it In Another Lifetime

[little vine]

Well if you're in college now you should use electives on creative writing classes

Just my recommendation. I know you didn't ask

[weary sable]

No

I like recommendations

[weary sable]

I think i should too

I’ve thought about it before

This exact thing

I should do it i agree

I think it’d be cathartic

[little vine]

For sure

[weary sable]

I don’t think there is one singular Secret of Life

[vocal vessel]

There is. It’s butter.

[weary sable]

I think they are infinite Secrets of Life that we will continue to discover as we go on and on and on

And i think i could write about each secret of life and ramble about it

I don’t know if my rambles are interesting

They interest me at least

Isnt that all that matters thoufh?

I don’t know if i need them@to be interesting. Or even Understood By Others. But i at the very least want them to be heard

[little vine]

Take a class then and listen to their feedback

Ramblings in general aren't really interesting even if the writer is very talented, but they can be edited down into something pretty amazing

[weary sable]

I just ramble in general

[weary sable]

This is good advice

[little vine]

It's fine for journaling for shore. I ramble in mine

[weary sable]

I ramble for hours in my journal

[little vine]

I get a lot of good ideas from rambling too but I only write lyrics

[weary sable]

I have pages and pages and pages filled with writing

[weary sable]

This is very cool and very valid

i don’t always ramble but when i do it’s Enjoyable

ive just been in a ramble mood lately

[tawny quarry]

Hey guys I need to ask for help to calculate the curved diagonal of a square, but not sure it is proper in the context. Should I ask here too?

[weary sable]

#❓how-to-get-help <3

[little vine]

That's great

[tawny quarry]

Indeed I did it, but nobody seem responding. I think it's out of context?

[ocean harbor]

!volunteers

[quasi jetty]

Helpers are just people volunteering their time to help you. Be polite and patient.

[tawny quarry]

Ah ok, nice thanks

[ocean harbor]

don't mention it

[blissful verge]

wsup

5-45*445+56=

[weary sable]

my appointment was supposed to start 4 minutes ago i wonder if the doctor vanished into thin air

If i could have a super power i would teleport

I would never be late then

[glad phoenix]

Tooo hard

[weary sable]

19964???

[little vine]

Did they show? They usually make you wait 10 to assert dominance

[storm sage]

mighta been busy w a previous patient

[little vine]

My appointments always end 10 mins before I think they should

But I'm sure there's a lot of behind the scenes stuff

[storm sage]

my friend who has volunteered in healthcare settings says the doctor is always busy with patient after patient

[ocean harbor]

,calc 5-45*445+56

[fathom swallow]

Result:

-19964

[ocean harbor]

im smort

[little vine]

I'm sure it's exhausting and I'm grateful for the care I do get

I was just kidding when I said it's to show dominance

[tame egret]

use PEMDASLR

[weary sable]

She actually did wait 10 minutes to assert dominance and also it did end 10 minutes before i thought it should as well 😭

She asked me if i was high LMFAO

[little vine]

Oh no

Were you?

[weary sable]

No

High on Lifw

Life

[little vine]

Don't take it personally

[weary sable]

I didn’t i actually took it as her saying i’m full of life

which i think i am :D

[little vine]

Goood

Happy for you

[weary sable]

how are you pirate

[weary sable]

Thank you!!

[little vine]

Oh I'm good

[weary sable]

That’s good to hear !

[little vine]

I don't think I have time for math today 😦

Too much grading

I don't like my job lol

But I have an interview Friday

It's a job that pays much less but I think I will be 100x happier than I am

[weary sable]

Grading

What age students do you teach

Or are you a TA

[neat lintel]

Why did youtube recommend this youtube channel to me https://www.youtube.com/@zombiebeatz2000/featured

https://knowyourmeme.com/memes/people/noriko-hikichan-ashley-hanrahan

[mint patio]

I fucking love blue cheese

[little vine]

8th 9th 10th

[little vine]

Blue cheese is disgusting but I like to eat it. How does that make sense

[mint patio]

I think some of it is quite

not amazing

but even still I love eating it

so I feel you LOL

My favorite is Danish blue (Danablu)

Gorgonzola is great too

Stilton is interesting

I don’t remember if I’ve tried roquefort or not yet

[deep mango]

omg its so good

i havent had that much of it

sob

[mint patio]

highly recommend if you like salt

[weary sable]

i love blue cheese too

[little vine]

I love it on salad

[weary sable]

i love it on everything

[little vine]

Everytime I taste it though I'm like why is this good

[weary sable]

wait i hav3 homework to do'

closing disc ord

[little vine]

See you

[weary sable]

baii

[solar hawk]

byebye rock

[neat lintel]

How do i make a piece wise function in desmos?

I want a prod to return 1 if i = j

[solar hawk]

{}

use {}

@neat lintel https://www.desmos.com/calculator/epllw9jgvk

ur welcome

[fathom swallow]

What should I do: Physics

[neat lintel]

How do i make it so there isn't a zero in the denominator

nvm i got it

[fathom swallow]

What should I do: Physics

[flint basin]

what did wraith do

for you to be obsessed

[solar hawk]

im just obsessed(dd)

no explanation

[flint basin]

L

[white spindle]

yo i got you guys an equation (1N+1+MU(AND)4N-1+MU)+(6X-1+MU(OR)3X-1+MU) where N is AND (X is (-1) nullify operator) and MU is the equality operator- this is the solution to a boyer moore vote count algorithm's melda - Another Equation - (1Y-3X)+(1N,U-2X)+(2N-1X)+N where Y is OR, this is where the algorithm has two sets, SET2 & SET2', as well one other equation, 2J+MU=2,2V+MU,2V+MU which is SET1, SET1', SET1", SET1'" for the Boyer Moore Vote Counter Algorithm

[loud snow]

medication is important

[white spindle]

i take my meds haha that is just some EE equation i found in my vote counter algorithm i was working on

[weary sable]

every time someone acts out of the norm everyone assumes mental illness

why must everything be pathologized

why can’t people just be Strange why does it always have to be mental illness

[neat lintel]

sounds like you're around the wrong type of people

[neat lintel]

Because a lot of people don't know what empathy is

[weary sable]

i think so too

[neat lintel]

A few years ago men would literally cut out pieces of their wifes brain because their wife didn't like being with them

they said their wifes had mental illnesses and taking out their brain was the cure

[weary sable]

humans as a species are weird and unique and that’s okay. i wish people accepted behaviors that aren’t “normal” as long as said behaviors don’t harm other people

[weary sable]

shits awful

[flint basin]

I assume you mean the person above. They've been posting incoherenet nonsense all week, which is what I think prompted the response.

[weary sable]

incoherent nonsense all week is a mood honestly

[neat lintel]

It do be a mood

[storm sage]

Wait what

[neat lintel]

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5962395/

[storm sage]

Wait, are these lobotomies still happening

[neat lintel]

Somewhere

but i said few years ago, like when it was common

one of the presidents sister even got a lobotomy

[flint basin]

That was JFK's sister iirc?

[storm sage]

wait

By the late 1970s, the practice of lobotomy had generally ceased, although it continued as late as the 1980s in France.

how many years ago are we talking

[neat lintel]

A few

[flint basin]

And yeah it's more than just a "few" years ago (albeit much closer to the present than we would like to think)

[storm sage]

Yeah >.<

Agreed on that last part

[iron copper]

https://www.cambridge.org/core/books/mathematical-logic-and-computation/300504EAD8410522CE0C27595D2825A2 this book is so good!!

[storm sage]

👀 haven't heard of that one

what did you like about it?

if you'd like, you can submit a review of it to @polar panther to get added to #books :))

[iron copper]

It covers a lot of proof theoretic/syntactic content that most other logic books do not.

From intuitionistic logic to type theory to realizability

[storm sage]

That's really cool

[fringe summit]

The book review

[weary sable]

ive heard that after lobotomies people are generally a lot calmer

i would think because they’re not all there anymore

[bold yoke]

i hope you're not willing to test it out

[weary sable]

i wonder if the trade off is worth it

[weary sable]

something to consider

[neat lintel]

Yeah, they're calm like a comatose patient

[weary sable]

you feel peace like never before.

however, you lose a critical amount of basic brain function

are the effects of a lobotomy worth the trade offs?

something to seriously consider

[bold yoke]

it really, really isn't

lol

[neat lintel]

https://en.wikipedia.org/wiki/Rosemary_Kennedy

[weary sable]

i think my downfall is being unserious in a completely serious tone/way of typing

[bold yoke]

nah i got it

[weary sable]

i wouldn’t get a lobotomy but i’d lobotomize ur mom

[bold yoke]

not if I lobotomize yours first

[weary sable]

[weary sable]

this is an intensely depressing read 😭

[bold yoke]

fr

[latent glacier]

Guyss i got a question, how does one become better at math

Im lowkey a math major atp (im a computer science major) but like all my classes for next year include math except for English and french ofcours

[little vine]

Just have to practice

If you let us know what math specifically we can probably point you to some resources

[echo tundra]

That looks like a dead channel

I watched a random video and it was complete Japanese. In another video she just says - "Hello youtube people, sh**t me"

[neat lintel]

yeah, weird channel

How does a person figure out what they research?