gabriel

1st year phd student • bounded arithmetic, proof complexity, TFNP • he/they • this is my study side blog, @p-isequalto-np main

[pv1isalsoimportant]

(Semi-regularly updated) list of resources for (not only) young mathematicians interested in logic and all things related:

Igor Oliveira's survey article on the main results from complexity theory and bounded arithmetic is a good starting point if you're interested in these topics.

The Complexity Zoo for information on complexity classes. (For pdf version click here.)

The Proof Complexity Zoo for information on proof systems and relationships between them.

Computational Complexity blog for opinions and interesting blog posts about computational complexity and bunch of other stuff.

Eitetsu Ken's list for resources on proof complexity, computational complexity, logic, graph theory, finite model theory, combinatorial game theory and type theory.

Student logic seminar's home page for worksheets on proof complexity, bounded arithmetic and forcing with random variables (great introduction for beginners).

Jan Krajíček's page is full of old teaching materials and resources for students (click past teaching) concernig logic, model theory and bounded arithmetic. I also recommend checking out his books. They are basically the equivalent of a bible for this stuff, although they are a bit difficult to read.

I also recommend the page of Sam Buss, there are downloadable versions of most of his articles and books and archive of old courses including resources on logic, set theory and some misc computer science. I especially recommend his chapters in Handbook of Proof Theory.

Amir Akbar Tabatabai's page for materials on topos theory and categories including lecture notes and recordings of lectures.

Andrej Bauer's article "Five stages of accepting constructive mathematics" for a funny and well-written introduction into constructive mathematics.

Lean Game Server for learning the proof assistant Lean by playing fun games.

[galois-groupie]

the phd students who explain things to me are graduating and I'll be left museless

[bread-126]

sometimes its sooo hard to justify a step on a proof. This is true because fuck you thats why

[bread-126]

they should replace the axiom of choice with ME. let me make the choice for you. i feel i'd be great at it

[fartnitegaming]

non-Euclidian being used to say something is lovecraftian and beyond human understanding is hilarious to me. Bro we live on a sphere.

[pv1isalsoimportant]

I love when 98% of the "how to pick your phd supervisor" advice is like "ask about their previous studets" and I'm sitting here as my supervisor's first student like...what students??

[sistertaxon]

actual criticisms of academia:

cost of education acting as class barrier

exploitation of graduate workers

colonialist past and present

ties to military industrial complex

danger of power structure entrenching and justifying orthodox views on social issues

criticisms of academia that get made:

those damn ivory tower academics are wasting money learning about things

[pv1isalsoimportant]

Found the meme in the wild. Everything is in the appendix of Emil's thesis.

[pv1isalsoimportant]

Most exciting day in my life, a guy (and by this I mean a pretty respected researcher) asked me to send him a writeup of my work because he read an abstract for a talk a gave some time ago and wanted to see it but he couldn't find it anywhere online.

This genuinely makes me so happy, someone cares about my bullshit project! And it's this cool guy!

[pv1isalsoimportant]

Writing in a shared Overleaf document keeps the pressure on, I can't just hallucinate and edit later, what if someone reads it.

[krasnoarmeyets]

i have made an active effort to not learn anything that could be remotely useful for "working in industry" like finance to preemptively close that door for myself forever...

[pv1isalsoimportant]

Today our head of the department had his final speech before he's leaving the position. Last Friday my friend had his last lecture at our seminar before he's graduating and leaving for his postdoc.

I've spent 6 years at this faculty, 4 of those specifically at our department. I've never known it any other way. Me at my girlfriend met at an "exam in nature" thing this guy organized for our algebra exam in my second year of undergrad.

I started coming to the student logic seminar first year of masters, almost 3 years ago. This was the first year my friend was leading the seminar and this is how I met him. I will be at the same stage of life he was when I met him at the start of the next school year - second year of phd. His seminars made me fall in love with my field. Me and my girlfriend are leading the seminar with him now and starting next year it will be just us two.

What I'm trying to say is I'm feeling very melancholic over this now. I thought the first year of phd will be the biggest trial and it was but now it's the time to grow up and be there for the next generation of students and man those are big shoes to fill.

[pv1isalsoimportant]

Man sequent calculus really is the best proof system.

[m---a---x]

Why's that?

[pv1isalsoimportant]

Most pleasant to work with and very useful for arguments by induction on the rules in the proof in FO logic.

(Free-)Cut-elimination is amazing because it tells you every true formula has a proof where every formula is a subformula of the final formula (in pure logic) or of certain quantifier complexity (in bounded arithmetic). Which is really cool. And useful. And cool.

Basically all witnessing theorems follow from some form of cut-elimination + analyzing the structure of the proof.

[pv1isalsoimportant]

Man sequent calculus really is the best proof system.

[dark-sappho]

"defend your thesis" why are you attacking my thesis

[ignotussus]

“propose your thesis” i birthed it why would i marry my own child

[pv1isalsoimportant]

A friend is getting an undergrad intern for the next two months... This is going to be so much fun, I feel like the cool uncle with no responsibilities.

[pv1isalsoimportant]

You can use induction without checking the quantifier complexity of the formula in question if you're pure of heart enough.