« first day (2810 days earlier)      last day (12 days later) » 

user21820
user21820
6:01 PM
@JadeVanadium: Apparently, NF has been formally verified to be consistent relative to Lean. While I find NF totally terrible, it is still highly interesting that such a weird type theory with type ambiguity causing crazy collapse of types has indeed been confirmed to be consistent relative to Lean's stratified type theory (which though impredicative doesn't have collapse).
 
Jade Vanadium
Jade Vanadium
@user21820 Oh, very cool! It's nice that a proof has finally been found.
 
user21820
user21820
@JadeVanadium Weren't you the one telling me long ago that a proof had been found? =P
 
Jade Vanadium
Jade Vanadium
Uhhhhhhhhhh
Probably not
Maybe, idk, my memory is not the best lol.
 
user21820
user21820
Oh I mixed up. It was Malice Vidrine.
Oct 1, 2018 at 5:57, by Malice Vidrine
It's looking like it's consistent relative to ZFC (and likely much weaker), though I still don't entirely understand Randall's proof. Some much cleverer people than me are fairly sure it works, though.
Ok I've to go. See you next time! XD
 

« first day (2810 days earlier)      last day (12 days later) »