Výsledky vyhľadávania

 

Zobrazené heslá 1 – 5 z celkového počtu 5 hesiel.

Zobrazujem:

Začiatok hesla

glyceridy

glyceridy [gr.] — staršie, ale zaužívané označenie esterov glycerolu s karboxylovými kyselinami s dlhým uhľovodíkovým reťazcom (mastné kyseliny), najmä s kyselinou palmitovou, steárovou a olejovou (→ acylglyceroly, lipidy). Podľa počtu esterifikovaných hydroxylových skupín glycerolu so rozlišujú monoglyceridy (monoacylglyceroly), diglyceridy (diacylglyceroly) a triglyceridy (triacylglyceroly).

glykolipidy

glykolipidy [gr.] — zložené lipidy obsahujúce jeden alebo viac monosacharidových zvyškov (najčastejšie ᴅ-galaktózu, zriedkavejšie ᴅ-glukózu, prípadne iné cukry) viazaných glykozidovou väzbou na lipidovú časť (ceramid, sfingozín, deriváty glycerolu). Patria k nim cerebrozidy a glykosfingolipidy, ku ktorým sa zaraďujú aj gangliozidy.

glyoxylát

glyoxylát [gr.] — soľ kyseliny glyoxylovej (kyseliny oxoetánovej); v živých organizmoch takmer výlučne sodná alebo draselná soľ. Vzniká v glyoxyzómoch rastlín a v niektorých mikroorganizmoch pôsobením enzýmu izocitrátlyázy a je dôležitým medziproduktom glyoxylátového cyklu.

Gödelove vety o neúplnosti

Gödelove vety o neúplnosti

1. prvá Gödelova veta o neúplnosti — tvrdenie, podľa ktorého každá neprotirečivá axiomatická teória obsahujúca elementárnu aritmetiku je neúplná, t. j. existuje taký výrok v jazyku tejto teórie, ktorý nie je v rámci tejto teórie rozhodnuteľný, t. j. ani on, ani jeho negácia nie sú v tejto teórii dokázateľné. Táto neúplnosť je fundamentálna – nedá sa odstrániť pridaním dodatočných axióm, pretože aj v jazyku takejto rozšírenej teórie sa dá sformulovať nový nerozhodnuteľný výrok;

2. druhá Gödelova veta o neúplnosti — tvrdenie o nemožnosti dôkazu neprotirečivosti teórie daného typu len prostredníctvom jej vnútorného deduktívneho aparátu.

Gödelove vety o neúplnosti znamenali stroskotanie Hilbertovho programu formalizmu v základoch matematiky, pretože dokázali poznávaciu obmedzenosť axiomatickej metódy. Nazvané podľa K. Gödela, ktorý ich 1931 sformuloval a dokázal.