June 20th, 2019

Канке,_Виктор_Андреевич

https://ru.wikipedia.org/wiki/Канке,_Виктор_Андреевич

хотелось бы почитать его работы касающиеся времени и
***В 1996—2011 гг. Канке разработал теорию концептуальных переходов. Согласно этой теории, в современном её виде философия разделилась на две части, субстанциальную и метанаучную.

погуглите плиз и ссылки и работы плиз ))

(no subject)

---
https://akuklev.livejournal.com/1292962.html
Теперь про подлежащую теорию. Во-первых, почему теория типов? Потому что мы хотим структурализма. Мы не хотим, как это описано в Бурбаках писать словами о структурах и иметь подспудно в виду, некий нетривиальный перевод на “ассемблер” теории множеств. Мы хотим сразу писать на высокоуровневом языке.

Нам нужно (а) удобство записи определений таких структур как группа, кольцо, топологическое пространство, (б) возможность вести доказательства про них на структурном уровне, (в) возможность с лёгкостью переносить доказательства вдоль изоморфизма структур, (г) возможность работать в дальнейшем с категориями групп, колец и топологических пространств.

Все эти требования реализуются как раз в унивалентных теориях типов.
Collapse )

(no subject)

На этот дневник можно подписаться в одном из них, скажем Feedly довольно популярен, насколько я знаю. Я лично уже много лет пользуюсь аггрегатором BazQux, очень быстрым, потрясающе удобным, который делает российский умелец-одиночка на языке Хаскель. У него один недостаток - платный, но недорого и на мой взгляд весьма стоит того.
https://avva.livejournal.com/3210358.html

анекдот. к вопросу о квалиа и ощущениях.

дискуссии время от времени идут, я даю у ссылки на свои тексты и говорю, что вопрос разрешен и понятен, нет больше никакой загадки
мне отвечают: а нам нет не понятно, для нас загадка остается
бесполезно чтото комуто говорить )

вспомнил хороший анекдот про то, что такое цвет:

Спорят два еврея :
- Черный - это цвет.
- Нет, черный - это не цвет.
- Да говорю тебе, черный - это цвет.
- Да никогда в жизни!
- Точно говорю, черный - это цвет.
- Ничего подобного.
- Ладно, пойдем спросим у раввина, что Тора об этом говорит.
Пошли к раввину. Тот посмотрел в Торе и говорит:
- Да, в Торе сказано, что черный - это цвет.
- Вот! Что я тебе говорил? Черный - это цвет!
- Ладно, черный это цвет. Но не белый.
- Что? Белый не цвет? Белый - это цвет!!!
- Нет, белый - это не цвет.
- Как так, белый не цвет? С каких это пор?
- Вот так, не цвет и все.
- Ладно, пойдем спросим у раввина, что Тора об этом говорит.
Опять пошли к раввину. Тот опять посмотрел в Торе:
- Тора говорит, что белый - это цвет.
Первый еврей, радостно:
- Ну? Что я тебе говорил? Я тебе продал ЦВЕТНОЙ телевизор!