Telegram Group & Telegram Channel
В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.



group-telegram.com/uanalyticon/560
Create:
Last Update:

В 45-й день по григорианскому календарю, то есть 14 февраля, прямо в праздник Луперкалий наш Лев Ламберов переоделся волком в овечьей шкуре и выступил на Московском семинаре по философии математики с докладом «Эпистемология компьютерных доказательств: некоторые аспекты». Речь зашла о вычислительных машинах для построения и проверки доказательств, а также о разного рода романтических мечтах. Докладчика завалили глобальными смысложизненными вопросами, а запись доклада выложили здесь и здесь. Слайды презентации тоже есть, они вот тут. Дорогие телезрители, односерийный доклад нежданно-негаданно превратился в сериал, ждите продолжения. В следующей серии ожидается что-то про социальные аспекты доказательства, математическую практику и фаллибилизм, а также целая притча про Винни-Пуха и пушишки. А если кто-то ещё не видел доказательский компьютер нашего Льва, то вот он на картинке. Любуйтесь.

BY uAnalytiCon




Share with your friend now:
group-telegram.com/uanalyticon/560

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

In 2014, Pavel Durov fled the country after allies of the Kremlin took control of the social networking site most know just as VK. Russia's intelligence agency had asked Durov to turn over the data of anti-Kremlin protesters. Durov refused to do so. The account, "War on Fakes," was created on February 24, the same day Russian President Vladimir Putin announced a "special military operation" and troops began invading Ukraine. The page is rife with disinformation, according to The Atlantic Council's Digital Forensic Research Lab, which studies digital extremism and published a report examining the channel. This provided opportunity to their linked entities to offload their shares at higher prices and make significant profits at the cost of unsuspecting retail investors. On December 23rd, 2020, Pavel Durov posted to his channel that the company would need to start generating revenue. In early 2021, he added that any advertising on the platform would not use user data for targeting, and that it would be focused on “large one-to-many channels.” He pledged that ads would be “non-intrusive” and that most users would simply not notice any change. In view of this, the regulator has cautioned investors not to rely on such investment tips / advice received through social media platforms. It has also said investors should exercise utmost caution while taking investment decisions while dealing in the securities market.
from ua


Telegram uAnalytiCon
FROM American