/sci/ - Science & Math

>>	Anonymous Sun Feb 11 20:21:18 2018 No.9509416 [View] File: 137 KB, 664x1010, 1489357319748.jpg [View same] [iqdb] [saucenao] [google] >>9509408 Do you have a mental disability? In what way is the image attached to >>9509399 "smug"? Also, fuck off to some other website if you dislike anime.

Anonymous Sun Mar 12 18:21:59 2017 No.8742822 [View]
File: 153 KB, 664x1010, 743.jpg [View same] [iqdb] [saucenao] [google]

>>8742794
I'm the guy studying pointless topology. I was just thinking about the little thing that the frames are complete Heyting algebras, but Heyting algebras are related to intuitionistic logic. Basically, I'm curious about how close to intuitionistic logic HoTT is, as then I would know whether it could be used to develop some sort of pointless homotopy (assuming that hasn't already been formulated).

>>	Anonymous Fri Feb 17 07:19:23 2017 No.8681622 [View] File: 153 KB, 664x1010, 743.jpg [View same] [iqdb] [saucenao] [google] >>8679156 Nice Kouvola pic

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]

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

/sci/ - Science & Math

Search: