[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports / report a bug ] [ 4plebs / archived.moe / rbt ]

2022-06-09: Search is working again.
2022-05-12: Ghost posting is now globally disabled. 2022: Due to resource constraints, /g/ and /tg/ will no longer be archived or available. Other archivers continue to archive these boards.Become a Patron!

/sci/ - Science & Math


View post   
View page     

[ Toggle deleted replies ]
>> No.9368782 [View]
File: 7 KB, 225x225, hzCGWXU.jpg [View same] [iqdb] [saucenao] [google]

Previous: >>9357587

Anyone know lambda calculus?

true = [math]\lambda t. \lambda f. t[/math]
fls = [math]\lambda t. \lambda f. f[/math]
Reduce the following lambda term: tru a b

Suppose the logical and operator was defined as the following: and = [math]\lambda b. \lambda c. b c fls[/math]
Reduce the term: and tru tru.

>> No.9272389 [View]
File: 7 KB, 225x225, hzCGWXU.jpg [View same] [iqdb] [saucenao] [google]

Need a perfect set and a compact set such that their intersection is NOT compact.

This is impossible, the intersection of two closed sets is closed (RIGHT???) and one of them (the compact one) must be bounded. So the intersection must be closed and bounded, methinks

View posts [+24] [+48] [+96]