|
Takuguchi Mathematics is an alternative approach to mathematics developed by [Gendo Takuguchi]? of Kyoto University, Japan. Takuguchi Mathematics allows only definable entity. We say, mathematical entity exist only if some formula (maybe not first-order) true for that entity, and only for it. Many interesting thing in Takuguchi Mathematics, example: -- All set countable. Most large cardinal Aleph-Null. -- Real number in Takuguchi Mathematics only definable number. But still uncomputable numbers in Takuguchi Mathematics, just no undefinable number. -- All normal math can be with Takuguchi Mathematics, only must be different way. Gendo Takuguchi defend his Mathematics with philosophical ground, he say Occam razor teach no excess entity, undefinable entity excess entity. This english speaker call 'parsimony'. /Talk |
|
|
![[Home]](wikipedia.png)