Content
@
0 reply
0 recast
0 reaction
Conor Grogan
@jconorgrogan
If we can prove that a certain statement is unprovable within a specific formal system, we can use that knowledge to define a new concept that incorporates that unprovability as a fundamental property. Building on that, we can build formal structures based on the information and differences between concepts
0 reply
0 recast
1 reaction
