[ 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

Search:


View post   
View page     

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

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]
9272389

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



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