- 10.4.07 12:00
-
Šķiet, ir problēma ar noteikta domēna lietu atpazīšanu, mijiedarbojas divas lietas
1) vēlme atpazīt lietas, kas definētas domēnā, neizmantojot ārpus domēna esošus jēdzienus (gan operācijas, gan objektus)
2) vēlme tās tādā pat veidā aprakstīt.
Šķiet, ka šādai ārēji slēgtai sistēmai vienmēr būs pāris aksiomas, uz kā balstās viss pārējais un kas nav aprakstāmas ar šīs sistēmas jēdzieniem.
Līdz ar to tu nevari veidot lokālus "visumus", kas pilnībā norobežoti no pasaules.
(Līdz ar to ideja par semantisko tīmekli iebrauc auzās, jo vienmēr ir vesela kaudze lietu, kas jāapraksta aksiomātiski, nevis ar izvedumu.)
Sorry, mazliet murgains viedoklis, bet nespēju šodien precīzāk pateikt domu.
autortiesība
pīkstulis
ateja birkas
ienākt iedirst