Mathematics
Meta user
Network profile
64
reputation
8

Patrick Browne

Apparently, this user prefers to keep an air of mystery about them.

0
answers
11
questions
~2k
people reached
  • Member for 1 year, 8 months
  • 31 profile views
  • Last seen Jun 27 at 19:24

Communities (7)

Top network posts

Top tags (16)

Score 0
Posts 6
Posts % 55
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (11) All Questions Answers | Votes Newest

2 Translating from First Order Logic to Order-Sorted Logic Aug 11 '18
1 Inductive proof using Fitch software Aug 23 '18
1 Relating First Order Theories and Equational Theories Nov 1 '17
1 How can I translate a Haskell code segment to a mathematical representation? Jun 12 '18
1 Can I justify removing a universal quantifier in this proof? Jul 5 '18
1 What are the features that make this proof constructive? Apr 25
0 Prove reflexivity using Fitch software Oct 27 '17
0 What is the minimum size of the set and minimum power of a strict relation that can be used for a base case in an inductive proof? Apr 12 '18
0 Logical equivalence versus definitional equality Jan 8
0 Can I apply different transformations to each side of this inequality? Jan 26
View all questions and answers →

Badges (8)

Gold

—

Silver

—

Bronze

8

Rarest