tricomplexity
English
[edit]Etymology
[edit]From tricomplex + -ity.
Noun
[edit]tricomplexity (uncountable)
- (mathematics) The condition of being tricomplex
- 2015, Giorgi Japaridze, “Build your own clarithmetic II”, in arXiv[1]:
- Furthermore, through tuning the 4th parameter P4, at the cost of sacrificing recursive axiomatizability but not simplicity or elegance, the above extensional completeness can be strengthened to intensional completeness, according to which every formula representing a problem with a solution from the given tricomplexity class is a theorem of the system.