Hirdetés

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

  • SystemRoot
    őstag

    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: :W , 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