Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik. Fő problémája az ezek között értelmezhető műveletek, a logikai műveletek, illetve a különféle levezetések tanulmányozása.Az ítéletlogika tekinthető a matematika részének, és napjaink modern felfogásában annak is tekintjük (bár eredetileg a filozófia egy részterületeként fejlődött ki). Ha ezt a modern nézetet elfogadjuk, akkor az ítéletlogikát a kijelentéslogika egy részeként, mégpedig mint úgynevezett kétértékű nulladrendű kijelentéskalkulusként tárgyalhatjuk.
2022. december 31., szombat
2022. december 19., hétfő
Verse
Since joining Epic Games in late 2021, I have been involved in the design and development of Verse, a new, declarative programming language that Epic plans to use as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and more besides. In this talk I'll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.
2022. december 7., szerda
2022. október 1., szombat
The Last Samurai -amerikai-új-zélandi-japán történelmi kalandfilm, 154 perc, 2003
A polgárháborúnak vége. Az egykori hős, Nathan Algren (Tom Cruise) nem találja a helyét a békés, egyre praktikusabb országban. A vakmerőség, az önfeláldozás, a hűség - az ő katonaerényei - itt már értéktelenné váltak. Ebből az állapotból egy sok pénzzel kecsegtető ajánlat mozdítja ki. Algrennek Japánba kell utaznia, ahol a fiatal, Amerika-barát császár modern hadseregébe kiképzőtisztnek szerződteti. Az új haderőnek a régi hagyományokat tisztelő és követő szamurájokkal kell leszámolnia. Az első csapást maga Algren vezeti. Az elkapkodott előkészületek miatt hiába a modern fegyverzet, a szamurájok diadalmaskodnak, és Algren fogságba esik. A szamurájok parancsnoka azonban nem végez az idegennel, hanem megpróbálja megismerni. Az amerikai pedig lassan megtapasztalja, hogy a szamurájok értékrendje sokkal közelebb áll hozzá.
Tom Cruise stars in this sweeping epic set in Japan during the 1870s as Captain Nathan Algren, a respected American military officer hired by the Emperor of Japan to train the country's first army in the art of modern warfare. As the Emperor attempts to eradicate the ancient Imperial Samurai warriors in preparation for more Westernized and trade-friendly government policies, Algren finds himself unexpectedly impressed and influenced by his encounters with the Japanese warriors, placing him at the center of a struggle between two eras and two worlds, with only his own sense of honor to guide him as The Last Samurai.
2022. szeptember 30., péntek
a gépek hallgatják a beszélgetést, hogy nekünk már ne kelljen
Az NVIDIA bejelentette az új grafikus kártyáit és megint sikerült duplázzák a teljesítményt két év alatt. Nem sok más hardver gyártónak megy ez mostanában, pl. szerintem az epöl eléggé gyengécskét villantott idén, vagy csak nekem voltak túlzottak az elvárásaim. Egyébként sok érdekes dolgot bejelentettek, jó dolog az, hogy így rárepültek a mesterséges intelligenciára, elvégre rengetek klienst biztosít nekik, szóval érdemes kutatni és patentálni a patentálható dolgokat.
Számomra viszont a legérdekesebb az RTX Remix nevű programocska, amivel ki lehet lopkodni a régi játékokból a teljes geometriát és textúrákat és sédereket és fel lehet őket javítani és visszarakni a játékba. Vagy mondjuk lehet használni ezt a sok-sok adatot 3ds stable diffusion tanítására, amivel gyakorlatilag be lehet majd tanulni minden játék stílusát és elegendő metaadat hozzáadásával a játékok akár bármilyen választott stílusban is megjeleníthetőek (ez elvileg most is lehet, ha átvisszük a textúrákat, modelleket és sédereket és még kicsit babrálunk egy-két dologgal, mint a skinning). Ez viszont mindenki számára könnyűvé teszi majd ezt a dolgot és gondolom lesznek majd nyílt megoldások, szóval elég érdekes jövő elé nézünk, ha elkészül az ami szerintem a következő lehetséges lépés. És persze lehet az én játékomba se lesz nehéz szörnyikéket generálni ezzel. :))Más. A stabil éjáj nyíltságának megvan az első pozitív következménye, ugyanis a (nevében) nyitott éjáj kiadott egy minden eddiginél jobb beszédfelismerő rendszert. Állítólag ez már tényleg szinte emberi szinten ismeri fel a beszédet és annyi volt a spíl, hogy nagyon sok adaton tanították, 680000 órányi szupervizált adaton, de több nyelven. Ez szinte annyi, mint egy teljes emberi élethossz. Érdekes implikáció, hogy még mindig nincs szükség a világ értésére, hogy jól megérthessük a beszélt nyelvet, elég ha csak baromi sok adat áll rendelkezésre. Az ember ugye néha ha nem ért valamit, teker még egyet az agya és felhasználja a kontextust és elég jól ki tudja javítani a félrehallást, a gép sajnos nem érti a kontextust, ennyi beszéd még messze elmarad egy mostani nyelvmodelltől is, de úgy látszik, nem is kell.A másik menő dolog meg az, hogy mostanában belerakták a python programozási nyelvet abba a bizonyos gtp3 nyelvmodellbe és hirtelen megtanult a rendszer programozni valami alapibb szinten. Ebben az a menő, hogy mondjuk be tudnak integrálni egy logikai következtető rendszert is és azt is meg tudja tanulni használni a nyelv modell, sőt, ott már akár egy cirkuláris rendszer is elképzelhető. Ja, és lehet integrálni bármilyen más programot is, mondjuk egy modellező programot, vagy egy internet brózert, vagy egy fizikai szimulációkat végző rendszert, aminek szöveges bemenete és kimenete van, akár még a gittet is be lehet nyomni, hogy tanulja meg lementeni a tudásbázisát. Az az igazság, hogy egyáltalán nem lepne meg, ha 2-3 év múlva bejelentenék, hogy tényleg meg van az emberi szintű mesterséges intelligencia és nem valami buta hekket csináltak, ki is lehetne próbálni meg minden. Az, hogy kezdjük belerakni a számítógépek erősségét, a programozhatóságot az emberről másolt tudásba teljesen kiszámíthatatlanná teszi ezt a folyamatot, mert a számítógépeket elég jól értjük és már tudjuk, hogy a határ a csillagos ég, az embert még nem értjük, de lassan-lassan kiderül, hogy nem olyan nagyon bonyolult mint ahogy gondoltuk, ha készítünk egy baromi nagy asszociatív memóriát, az már lassan elég is. És ami a legjobb, a gép majd el tudja dönteni, mit kell megjegyezni és mire kell programot írni. Szerintem meglepődünk majd.A lényeg persze az, hogy jóra használjuk ezt az új lehetőséget. Vagy legalább arra, hogy belerakjuk a kedvenc politikusunkat a Titanicba.
Zene.
meleg
A melegházasság évek óta vitatott téma. Ez egy olyan kérdés, amely sok vitát és vitát váltott ki. Az első dolog, ami eszünkbe jut, ha a melegházasságra gondol, az az azonos neműek házasságának legalizálása. A második dolog, ami eszembe jut, az a Defence of Marriage Act (DOMA) 2013-as megdöntése. Az azonos neműek házasságát először 2004-ben Massachusettsben legalizálták. Újabb 11 évbe telt, mire az Egyesült Államok Legfelsőbb Bírósága felülbírálta a DOMA-t. Ebben a részben arról lesz szó, hogy miért fontos a melegházasság, és mit jelent a nem heteroszexuálisok számára. A fő kérdés, amely ebből a vitából felmerült: "Mi a házasság?" A házasságot eredetileg egy férfi és nő közötti szövetségnek szánták, amelynek célja nemzés. Ez a meghatározás megváltozott, és két egymást szerető ember egyesülését jelenti. Nem számít, hogy ezek az egyének azonos vagy ellenkező neműek-e vagy sem, mert szerelmesek, és együtt akarják leélni az életüket. A melegházasság szószólói szerint az új definíciónak kellene lennie annak az elképzelésnek, hogy a házasság a szerelemről szól a nemi hovatartozás helyett. A házasság szó egy olyan szó, amelyet évszázadok óta használnak két egymást szerető ember kapcsolatának leírására. Ezt a szót a heteroszexuális párokra, az azonos nemű párokra, sőt néhány olyan párra is alkalmazták, akiknek nincs romantikus kapcsolata egymással. De vannak, akik úgy vélik, hogy a házasságot kizárólag a heteroszexuális párok számára kell fenntartani. Azzal érvelnek, hogy a melegházasság engedélyezése felhígítja ennek a kifejezésnek a jelentését a társadalomban.
2022. szeptember 25., vasárnap
film
Big Fish --- https://en.wikipedia.org/wiki/Big_Fish
- ha szereted a fantaziadus, kisse szurrealisztikus torteneteket
The Right Stuff --- https://en.wikipedia.org/wiki/The_Right_Stuff_(film)
- az amerikai raketaprogram kezdetei - fanyar humorral fuszerezve
(ugy latom, ujabban van egy sorozat is ezen a neven, de en az 1983-as filmre gondolok)
The Shape of Water --- https://en.wikipedia.org/wiki/The_Shape_of_Water
- kisse bizarr szerelmi tortenet
Cloud Atlas --- https://en.wikipedia.org/wiki/Cloud_Atlas_(film)
- evszazodokon ativelo, latszolag fuggetlen tortenetek, amikben megis van egy kozos szal
- egyik kedvencem
The Expanse --- https://en.wikipedia.org/wiki/The_Expanse_(TV_series)
- ez egy sci-fi sorozat (vagyis nem egyetlen hetvegi program)
- mar a 6. evadnal tartanak, en csak az elso 3-at lattam, de nagyon tetszett
2022. szeptember 24., szombat
What is "Nothing"?
This video was in spired by “Levels of Nothing” by Robert Lawrence Kuhn, in the book “The Mystery of Existence: Why is there Anything At All” by John Leslie and Robert Lawrence Kuhn. https://www.wiley.com/en-us/The+Myste...
It's also discussed in "Levels of Nothing” by Robert Lawrence Kuhn on Closer To Truth - What is Nothing? https://www.youtube.com/watch?v=YkB-p...
2022. szeptember 17., szombat
conservatorismul Ioan Stanomir
Prejudecățile legate de conservatorism sunt numeroase. Ideile conservatoare sunt asociate, invariabil, cu obscurantismul şi cu fanatismul. Identitatea conservatoare este denunțată ca un inamic al lumii de astăzi. Dincolo de clișeele vehiculate de inamicii săi, conservatorismul este parte din marele trunchi al libertății. El înseamnă, înainte de toate, opoziția față de experimentele revoluționare și ingineriile utopice. Atent la natura umană, atent la complexitatea societăților, conservatorismul recomandă o politică a prudenței, organicității și gradualismului. Întemeiat pe tradiție, pe domnia legii și pe constituționalism, el nu visează la cea mai bună dintre lumi, ci aspiră, modest, la realizarea echilibrului în universul pe care ne este dat să îl administrăm, zi după zi. Ioan Stanomir este scriitor și profesor la Facultatea de Științe Politice a Universității din București. Domenii de interes: constituționalism, istoria comunismului, istoria ideilor, conservatorism. Cea mai recentă carte publicată „RSR. Lecția de învățământ politic”, Humanitas, 2021.
2022. szeptember 12., hétfő
nem volt gép, amely determinisztikusan szimulálható
Ez még elment a XX. században, amikor még relatív kevés ilyen determinisztikusan szimulálható intelligencia létezett, de remélem a XXI. században az emberek ezt már nem fogják elfogadni, hogy olyanok döntsenek helyettük akiknek nem értjük 100%-osan a működését és nem vizsgálhatjuk meg a döntéseik menetét. Remélem, ezt is megérem majd, nem csak ezt a mai pillanatot.Az egyik pozitívumaként azt hozzák fel, hogy tudott robot lenni meghalt II. Erzsébet.
Feliratkozás:
Bejegyzések (Atom)