задал первый вопрос на кворе (два)

Dec. 12th, 2018 06:51 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
What is Hurkens' paradox? 
Tags:
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Date: 2018-12-13 09:50 pm (UTC)
deniok: (Default)
From: [personal profile] deniok
Жирар доказал более тонкую штуку про неконсистентность U и U-. А отсюда, задавая стирающее отображение, заменяющее все (три) вселенные на одну (Type или *), неконстстентность системы с Type:Type получается прямым следствием.
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi
patryshev.com

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
181920 21 222324
25262728293031

Most Popular Tags

Page Summary

Active Entries

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 23rd, 2025 11:42 am
Powered by Dreamwidth Studios