Náhodné myšlenky k logice

Argumenty "tady" a "teď"

Bylo by dobré místo w, t zavést speciální argumenty, které by znamenaly tento svět a tento čas.

Zrada v procedurálním izomorfismu

Pokud připustíme, že XXX je ekvivalentní \w\t [ XXX_w_t ], nepoškodí to nějak manipulaci pomocí funkce substituce?

Přejmenovat kontexty užití

  1. extensionální užití → primitivní / jednoduché (protože představuje primitivní datové typy)
  2. intensionální užití → komplexní / složené / funkční
  3. hyperintensionální užití → konstrukční / procedurální
til/start.txt · Last modified: 06.03.2014 11:00 (external edit)
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki