Kvanttifluktuaatio
Kvanttifluktuaatio eli tyhjiöenergia on hiukkasten syntymistä tyhjiössä. Vuonna 1927 fyysikko Werner Heisenberg kehitti epätarkkuusperiaatteen, jonka mukaan hiukkasen liikettä ja sijaintia ei voida mitata äärettömän tarkasti samanaikaisesti. Myöhemmin on todettu, että periaatetta voidaan soveltaa myös aikaan ja energiaan. Siten voi olla mahdollista, että tyhjä tila sisältää energiaa jossain muodossa.
Symbolinen logiikka
Propositiologiikka tutkii lauseiden ominaisuuksia niiden sisältämien vakioiden ja muuttujaviittausten, kuten A, B, C, ... sekä viiden operaattorin, "ja" (AND), "tai" (OR), "jos...niin" [IMPLIES), "jos ja vain jos"' (EQUALS) sekä "ei" (NOT) perusteella. Vastaavat logiikan operaatiot ovat konjunktio, disjunktio, implikaatio, ekvivalenssi, sekä negaatio eli kielto. Näistä muut paitsi "ei" ovat binaarisia operaatioita. Operaatioiden merkitystä kuvataan totuusarvotaulukoilla.
Predikaattilogiikka on propositiologiikan laajennus, joka tuo mukaan muuttujat, lauseet eli predikaatit. Muuttujat esitetään yleensä pienellä alkukirjaimella "x", "y", "z" jne, kun taas predikaatit esitetään isolla alkukirjaimella, esimerkiksi P("x") or Q("y","z"). Sen lisäksi predikaattilogiikkaan liittyvät kvanttorit, jotka kuvaavat tapauksia "kaikki" (universaalikvanttori formula_1) ja "on olemassa" (eksistenssikvanttori formula_2).