Új hozzászólás Aktív témák

• SystemRoot őstag

  #156

  #155 dabadab

  2008-10-19 00:28:33

  Új Válasz

  Új hozzászólás

  Összes hozzászólása itt Válaszok az összes hozzászólására itt Válaszok erre a hozzászólásra

  

  SystemRoot

  őstag

  #155 dabadab

  Jahj...

  a logikai axiómákkal.

  Az euklideszi axiómák a (sík)geometria axiómái és nem a logikáé. (Most én is rakhatnék ide ilyen figurát: , de vedd úgy hogy nem raktam, mert nem kell a feszültségkeltés.) Ezek hiányosságait több mint száz éve felismerték. Én a mai logikai axiómákról beszéltem egyébként(amiket a tudomány használ, ugyanis aktuális dolgokról volt szó, nem történelemről). Ennek a kezdeti kitalálója Arisztotelész volt, majd az erősen továbbfejlesztett verzióját egy Gottlob Frege nevű félisten találta ki. Amúgy az axiómák érvényességi köre az meghatározott (specifikus) adott területeken belül. A triviális érvényesség tényleg hülye szó ide, de nem gondoltam hogy belekötnek, a "helyes" és "érvényes" szó talán jobb lett volna. Igazából azt akartam kifejezni hogy azon axiómák elfogadása teljesen ésszerű.

Új hozzászólás Aktív témák