számítógép

Ada algoritmusa

Avagy hogyan indította el Lord Byron lánya a digitális kort a számok költészete által. James Essinger könyve új perspektívából mutatja be Lady Ada Lovelace életét, valóban jogosan tekintjük-e őt a világ első programozójának? Milyen akadályok álltak annak az útjában, hogy a digitális korszak majdnem egy évszázaddal korábban meg­kez­dőd­jön? Binzberger Viktor ajánlója nagy kedvet csinál a könyv elolvasásához.

Az igazi Alan Turing

Dermot Turing helyenként nagyon személyes, különösen igényes életrajzot írt nagybátyjáról, a híres matematikusról. Kutas Péter pedig részletesen mesél a könyvről, Turing életéről a második világháború előtt, alatt és után, a kódfejtésének lényegéről, a korai számítógépek vagy a biológia iránti kutatói érdeklődéséről, korát megelőző vízióiról és tragikus haláláról. Igazán érdekes könyv.

Mi az a típuselmélet, és mire jó?

  • Kaposi Ambrus, Molnár Zoltán Gábor
Az European Research Council (ERC) pályázatai évek óta vonzó, hosszú távú támogatást nyújtanak a legkiválóbb kutatók és kutatócsoportjaik részére. 2024-ben az ERC egyetlen magyar nyertes Consolidator Grant pályázata Kaposi Ambrusé, az ELTE kutatójáé volt. Témája a típuselmélet, amelyet első olvasásra nem könnyű megérteni. Szerzőtársával, Molnár Zoltán Gáborral együtt vezetik be az olvasót a matematika új típusú formális megalapozásába.

Bizonyítás az emberin túl, a mesterséges intelligencián innen

A gépi tételbizonyítás sikere vitát indított el a matematikai közösségben. A fő kérdés: vajon teljes mértékben megbízhatunk-e egy olyan bizonyí­tás­ban, amelyet nem tudunk teljes egészében az emberi percepcióra és a tiszta észre hagyatkozva ellenőrizni? Molnár Zoltán Gábor cikke érdekes filozófiai problémákat is felvet, miközben bevezetést kapunk a Lean program­nyelvbe és a bizo­nyí­tás­asszisz­tens szoftverek elvébe, érintve a mesterséges intelligencia jövőbeni fejlődését. Tovább...
Keresés