These forums have been archived and are now read-only.

The new forums are live and can be found at https://forums.eveonline.com/

Intergalactic Summit

 
  • Topic is locked indefinitely.
Previous page123
 

Small Truths
Author
Previous Topic Next Topic
Scherezad
Revenent Defence Corperation
Ishuk-Raata Enforcement Directive
#41 - 2012-06-13 23:11:54 UTC
Tarunik Raqalth'Qui wrote:
Actually, type theoreticians captured the conceptual difference Aria is seeking a long time ago with the concepts of bottom vs. unit type. The bottom type would be equivalent to the no-set Aria is seeking, while the unit type is equivalent to the empty set in this formulation.


I don't share you interpretation of the correlation, I'm afraid. However, I'm rather fuzzy on the concept that she's trying to draw, so perhaps that's understandable. What I can't understand is how you interpret the bottom type to be equivalent to her no-set, when a bottom type is simply an empty class. In type theory, a "no-type" wouldn't be an empty type, but not a type at all.

Again, very fuzzy concept. I think this is a signifier that either the concept is nonsensical, or it's beyond our current mathematical models.
Nicoletta Mithra
Societas Imperialis Sceptri Coronaeque
Khimi Harar
#42 - 2012-06-13 23:38:07 UTC
It's good to see you again, Cpt. Jenneth

and especially as I see that my faith in your capacity to find reason was not entirely in vain. Even so, I feel compelled to point out that you seem still cling to one of the great misunderstandings: That there is an Amarrian god. There is no such thing. There is God. But, that's really a minor complaint given the step you seem to have taken.

Anyway, I wish you well and hope that you will make further steps into the direction you've started to move towards, apparently.

Faithfully,
N. Mithra
Deceiver's Voice
Molok Subclade
#43 - 2012-06-16 04:03:56 UTC
Good to see you, Aria. Ever the student, ever the teacher, non?

-N.R.
Previous page123