第144章 小美举起织梦梭子想编织
欧拉面包车冲破"
构造性浓雾"
时,车载奶油空调突然喷出薄荷绿的直觉主义冷气——仪表盘上的"
排中律按钮"
啪地裂成两半,一半写着"
命题非真即假"
,另一半写着"
存在非真非假命题"
,中间渗出介于真假之间的淡紫色奶油。
邋遢鬼的克莱因瓶头盔里飘出薰衣草味的困惑,瓶壁上的子对象分类器图案正眨着三只眼睛。
"
欢迎来到第三真值面包镇!
"
城门守卫是两个半透明的面包人,左眼是直觉主义逻辑的∧符号,右眼是v符号,中间的第三只眼则是模糊的?符号。
他们递来的入城券是块"
未判定司康"
,咬一口会根据心情变成甜或咸——老皮咬下时尝到了"
可能甜"
的淡粉色奶油。
街道两旁的面包建筑呈现出柔和的非布尔几何:房子的棱角是圆角矩形,窗户是半开的圆弧,连路灯都是"
可能亮"
的半透明螺旋。
最神奇的是居民们的"
子对象分类器眼睛"
——当他们思考时,瞳孔会浮现不同颜色的真值:红色代表"
真"
,蓝色代表"
假"
,淡紫色代表"
未证明"
,灰色代表"
不可构造"
。
小美遇到一个正在犹豫的法棍面包,它的瞳孔正不断在紫灰之间变幻,像块正在凝固的直觉主义果冻。
本章未完,点击下一页继续阅读