I woke up caught in a few dream thoughts that were causing distress
(think about getting trapped in a cave and freaking out).
I don't remember exactly the content but it was about Peano axioms.
Eventually I managed to get comfy again and fall back to sleep.
Does this happen to anyone?
https://www.reddit.com/r/SweatyPalms/comments/3yt7fi/spelunker_john_jones_trapped_upside_down_in_a_cave/
I once had a dream where I was chilling in a bar with Hamilton, Euler and Russel. We got super shitfaced and started coming up with a universal mathematics, written on bar napkins.
I can't remember any details about the math itself. But I remember it didn't contain any symbols used in common parlance.
Just as we were finishing up a proof of the Continuum Hypothesis, Kurt Godel busts in and starts shooting up the place with a machine gun. Then he doused the floor with gasoline and lit it on fire, and calmly walked out, muttering something about Leibniz.
>>8826268
>thoughts that were causing distress
>Peano axioms
The fuck, I can't even dream about axiom systems let alone recognize them in my dreams
Did you get spooked by pic related or something
>>8826268
Why is caving so fucking fun?
>>8826285
No, I did rehearse them yesterday though.
I have that book but what's the point when you can go read an actual logic book?
I don't like the author glorifying Bach and Escher either.
Goedel is alright.
>>8826280
this is gold
>>8826305
FUCK OFF
one time I had a dream that was nothing but black and then some equations popped up in red and orange and it stressed me the fuck out, woke up feeling really stressed for the entire day
>>8826268
Yeah any topic you saturate yourself in can turn up in dreams. Chess is the last one I had a "dafuq" dream where it was involved.
>>8826319
Yeah, It happens with other stuff; should be called Tetris effect.
>>8826318
Kekkest.
>>8826268
sometimes I try to do proofs when im dreaming and if it doesnt work its extremely distressing.
>>8826568
>sometimes I try to do proofs when im dreaming and if it doesnt work its extremely distressing.
In my experience they just don't make, thence the frustration.
>>8826318
PLEASE EXPLAIN THE JOKE
>>8826276
I know I'll get called a sissy for saying this but what the fuck is the point of spelunking? It's so fucking dangerous. Even if you're an adrenaline junkie there are dozens of less insane methods of getting a feeling of adventure.