Wpis z mikrobloga

@josedra52: Technologie, jakie spodziewam się, iż zaczną się pojawiać w ciągu 50 lat:
- dzieci GMO (w Chinach już są)
- klony ludzi (prawdopodobnie też są)
- dzieci dwóch kobiet lub dwóch mężczyzn (od dawna nad tym są prace, choć to trochę tabu: https://www.newscientist.com/article/dn3700-stem-cells-can-become-normal-sperm/ , https://www.technologyreview.com/2017/09/19/149089/artificial-human-embryos-are-coming-and-no-one-knows-how-to-handle-them/ )
- sztuczna inteligencja osiągająca świadomość

... i pewnie wiele innych, o których nie jestem w stanie pomyśleć. Ciekawe jak nasi konserwatyści sobie z tym
@TurboDynamo: Wiesz, samemu mam mieszane uczucia co do rozwoju niektórych technologii... ale zdaję sobie sprawę, że prędzej czy później one przyjdą, i zasłonięcie oczu + zatkanie uszu problemu nie rozwiąże. Te technologie i pomysły, które dadzą jednym przewagę nad drugimi doprowadzą do powolnego wyginięcia grupy, która danych technologii uznać nie chce, i jest po prostu słabsza.

Organizmy i grupy lepiej przystosowane do życia w danej niszy ekologicznej wypierają te słabsze. Tak
@GaiusBaltar: No i to jest normalny proces. Tylko że konserwy wychodzą z uposledzonego punktu widzenia - oni rozumieją że rezygnacja z technologii daje przewagę innym, dlatego bronią np użycia paliw kopalnianych, wypierają efekt cieplarniany z głowy żeby usprawiedliwiać uzywanie tych technologii. Natomiast na nowe technologie są całkowicie zamknięci. To jest właśnie clue konserwatyzmu - lubię to co stare tylko dlatego ze to znam, i nie lubię tego co nowe bo tego
@TurboDynamo: kurta godla

https://pl.m.wikipedia.org/wiki/Twierdzenie_G%C3%B6dla

Można rozszerzyć definicję systemów formalnych tak, że twierdzenie Gödla nie będzie dla nich zachodzić. Jednak takie niestandardowe systemy nigdy nie będą rozstrzygalne, tzn. ich algorytm wnioskowania nie dałby się zaprogramować na maszynie Turinga lub ich zbiór aksjomatów nie dałby się taką maszyną wygenerować. Ponieważ każdy zbiór skończony jest rozstrzygalny, dlatego twierdzenie Gödla mówi, że nie istnieje żadna zupełna niesprzeczna, skończona aksjomatyzacja arytmetyki, ani nawet taka nieskończona, która